1 # Copyright 1999-2013 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
8 DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"
9 HOMEPAGE="http://fmv.jku.at/boolector/"
10 SRC_URI="http://fmv.jku.at/boolector/boolector-1.5.116-eeaf10b-121004.tar.gz"
11 S=${WORKDIR}/boolector-1.5.116-eeaf10b-121004
15 KEYWORDS="~x86 ~amd64"
19 sci-mathematics/lingeling"
23 epatch ${FILESDIR}/pathfixes.patch
27 ./configure --lingeling --no-picosat --no-minisat
32 dobin boolector synthebtor deltabtor