diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 37 |
1 files changed, 5 insertions, 32 deletions
@@ -2,13 +2,13 @@ _pkgname=boolector pkgname=boolector-git -pkgver=r9842.06b2357b +pkgver=r9913.0b4b8540 pkgrel=1 pkgdesc="A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions" arch=('any') url="https://github.com/Boolector/boolector" license=('MIT') -depends=() +depends=('btor2tools-git') makedepends=() conflicts=() source=("git://github.com/Boolector/boolector.git") @@ -22,27 +22,15 @@ pkgver() { prepare() { cd $srcdir - git clone git://github.com/Boolector/btor2tools.git - git clone git://github.com/arminbiere/lingeling.git } build() { - # btor2tools - - cd "$srcdir/btor2tools" - CFLAGS="" ./configure.sh -shared -fPIC - make - - # lingeling - - cd "$srcdir/lingeling" - CFLAGS="" ./configure.sh -fPIC - make + cd "$srcdir/boolector" - # boolector + # Download and build Lingeling + ./contrib/setup-lingeling.sh - cd "$srcdir/boolector" CFLAGS="" ./configure.sh --shared cd build make @@ -53,21 +41,6 @@ package() { mkdir -p "$pkgdir/usr/bin/" mkdir -p "$pkgdir/usr/lib/" - # btor2tools - - install -m755 btor2tools/bin/* "$pkgdir/usr/bin/" - install -m755 btor2tools/build/*.so "$pkgdir/usr/lib/" - install -m755 btor2tools/build/*.a "$pkgdir/usr/lib/" - - # lingeling - - mkdir -p "$pkgdir/usr/include/lingeling" - install -m755 lingeling/lingeling "$pkgdir/usr/bin/" - install -m755 lingeling/*.a "$pkgdir/usr/lib/" - install -m644 lingeling/*.h "$pkgdir/usr/include/lingeling/" - - # boolector - mkdir -p "$pkgdir/usr/include/boolector" install -m755 boolector/build/bin/boolector "$pkgdir/usr/bin/" install -m755 boolector/build/lib/*.so "$pkgdir/usr/lib/" |