X-Git-Url: https://git.sthu.org/?p=shuber-gentoo-overlay.git;a=blobdiff_plain;f=sci-mathematics%2Flingeling%2Flingeling-1212013.ebuild;fp=sci-mathematics%2Flingeling%2Flingeling-1212013.ebuild;h=e6b46816cbb128b9263aabfcf8620f4b492d5d02;hp=0000000000000000000000000000000000000000;hb=a863192789bd0b66e42df9344abed4549c73dd67;hpb=885b9c437e68de5a02b4fdef3b2b4f70463e36b1

diff --git a/sci-mathematics/lingeling/lingeling-1212013.ebuild b/sci-mathematics/lingeling/lingeling-1212013.ebuild
new file mode 100644
index 0000000..e6b4681
--- /dev/null
+++ b/sci-mathematics/lingeling/lingeling-1212013.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=5
+
+DESCRIPTION="A SAT (boolean satisfiability) solver"
+HOMEPAGE="http://fmv.jku.at/lingeling/"
+SRC_URI="http://fmv.jku.at/lingeling/lingeling-ala-b02aa1a-121013.tar.gz"
+S=${WORKDIR}/lingeling-ala-b02aa1a-121013
+
+LICENSE="GPL"
+SLOT="0"
+KEYWORDS="~x86 ~amd64"
+IUSE=""
+
+DEPEND=""
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	./configure || die
+}
+
+src_install() {
+	dodoc NEWS VERSION
+	dobin lingeling ilingeling plingeling
+	dolib liblgl.a
+	doheader lglib.h
+}