sci-mathematics/boolector/boolector-1.5.116.ebuild

   1 # Copyright 1999-2013 Gentoo Foundation
   2 # Distributed under the terms of the GNU General Public License v2
   3 # $Header: $
   4
   5 EAPI=7
   6
   7 DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"
   8 HOMEPAGE="http://fmv.jku.at/boolector/"
   9 SRC_URI="http://fmv.jku.at/boolector/boolector-1.5.116-eeaf10b-121004.tar.gz"
  10 S=${WORKDIR}/boolector-1.5.116-eeaf10b-121004
  11
  12 LICENSE="boolector"
  13 SLOT="0"
  14 KEYWORDS="~x86 ~amd64"
  15 IUSE=""
  16
  17 DEPEND="
  18         sci-mathematics/lingeling"
  19 RDEPEND="${DEPEND}"
  20
  21 src_prepare() {
  22         epatch ${FILESDIR}/pathfixes.patch
  23 }
  24
  25 src_configure() {
  26         ./configure --lingeling --no-picosat --no-minisat
  27 }
  28
  29 src_install() {
  30         dodoc NEWS VERSION
  31         dobin boolector synthebtor deltabtor
  32         dolib libboolector.a
  33         doheader boolector.h
  34 }