From 8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 20 Sep 2021 11:17:18 +0200
Subject: dev-libs/picosat: add new package

---
 dev-libs/picosat/picosat-965.ebuild | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 dev-libs/picosat/picosat-965.ebuild

(limited to 'dev-libs')

diff --git a/dev-libs/picosat/picosat-965.ebuild b/dev-libs/picosat/picosat-965.ebuild
new file mode 100644
index 0000000..8039cc7
--- /dev/null
+++ b/dev-libs/picosat/picosat-965.ebuild
@@ -0,0 +1,34 @@
+# Copyright 2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="PicoSAT solver"
+HOMEPAGE="http://fmv.jku.at/picosat/"
+SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="bin"
+
+src_configure() {
+	./configure.sh --stats --trace --shared
+}
+
+src_compile () {
+	emake -j1
+}
+
+src_install() {
+	dolib.a libpicosat.a
+	dolib.so libpicosat.so
+	doheader picosat.h
+
+	if use bin; then
+		dobin picosat
+		dobin picomcs
+		dobin picomus
+		dobin picogcnf
+	fi
+}
-- 
cgit v1.2.3