X-Git-Url: https://git.sthu.org/?p=shuber-gentoo-overlay.git;a=blobdiff_plain;f=sci-mathematics%2Fboolector%2Fboolector-1.5.116.ebuild;fp=sci-mathematics%2Fboolector%2Fboolector-1.5.116.ebuild;h=aff2eae35061f46a2a977e5f6706b1624a1450fe;hp=0000000000000000000000000000000000000000;hb=4ed57723db7c4dda887ec8c4450498cac08d719b;hpb=a863192789bd0b66e42df9344abed4549c73dd67

diff --git a/sci-mathematics/boolector/boolector-1.5.116.ebuild b/sci-mathematics/boolector/boolector-1.5.116.ebuild
new file mode 100644
index 0000000..aff2eae
--- /dev/null
+++ b/sci-mathematics/boolector/boolector-1.5.116.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=5
+inherit eutils
+
+DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"
+HOMEPAGE="http://fmv.jku.at/boolector/"
+SRC_URI="http://fmv.jku.at/boolector/boolector-1.5.116-eeaf10b-121004.tar.gz"
+S=${WORKDIR}/boolector-1.5.116-eeaf10b-121004
+
+LICENSE="boolector"
+SLOT="0"
+KEYWORDS="~x86 ~amd64"
+IUSE=""
+
+DEPEND="
+	sci-mathematics/lingeling"
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+	epatch ${FILESDIR}/pathfixes.patch
+}
+
+src_configure() {
+	./configure --lingeling --no-picosat --no-minisat
+}
+
+src_install() {
+	dodoc NEWS VERSION
+	dobin boolector synthebtor deltabtor
+	dolib libboolector.a
+	doheader boolector.h
+}