From a863192789bd0b66e42df9344abed4549c73dd67 Mon Sep 17 00:00:00 2001 From: Stefan Huber Date: Thu, 12 Dec 2013 15:14:00 +0100 Subject: [PATCH] Add sci-mathematics/lingeling --- sci-mathematics/lingeling/Manifest | 2 ++ .../lingeling/lingeling-1212013.ebuild | 29 +++++++++++++++++++ 2 files changed, 31 insertions(+) create mode 100644 sci-mathematics/lingeling/Manifest create mode 100644 sci-mathematics/lingeling/lingeling-1212013.ebuild diff --git a/sci-mathematics/lingeling/Manifest b/sci-mathematics/lingeling/Manifest new file mode 100644 index 0000000..f83fc39 --- /dev/null +++ b/sci-mathematics/lingeling/Manifest @@ -0,0 +1,2 @@ +DIST lingeling-ala-b02aa1a-121013.tar.gz 166291 SHA256 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 SHA512 b7ad6cedef5ebcd03d798ae6b379a10077c657172932a6124a6972d70e87be428148d0a47ba91a67a78a0d413a0de0a13fd3cd1687a04d98434160f27ae9089e WHIRLPOOL 64cebf6ca2ddbc7ae846a4dd7dea6c5a708a1349f349915a4bfef662fe0581bb04ac90d4dc9d6b4bc316fb63ed19e1506994b2045c3156459f573b41644e6a90 +EBUILD lingeling-1212013.ebuild 576 SHA256 ec935e439445f732b5fbf8c524d1ddd7df3c8fd604ad43de0376697870109746 SHA512 e0c88e469860a9511807b17caac5ca75e77a2248f9fd8c8ccdad41bf63fef7f788cc389e0ac197bd8d4e31724edfa8d4d3bb5d273f8cb1d993be413cdf9d9516 WHIRLPOOL 83a69547cd9ab214dc3ce746a5bca1dc97f98aaf32434866edbb39d235e6a606e854e3bd1550703ab6940574b8844a5af19d028988ec03ea4176e5d9687a0386 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 +} -- 2.39.5