diff options
| author | Thomas Pointhuber | 2020-10-31 18:36:01 +0100 |
|---|---|---|
| committer | Thomas Pointhuber | 2020-10-31 18:36:01 +0100 |
| commit | 08181421935292816187ce8bc1de3e78b85ea6a5 (patch) | |
| tree | ecf62e5fa14925ca8b1ebed8ab6e76f7f270bc82 | |
| parent | a0272f8ab2d5db6e1c44bf85d9451ead7dc72321 (diff) | |
| download | aur-08181421935292816187ce8bc1de3e78b85ea6a5.tar.gz | |
Update to limboole 1.2, enable depqbf backend
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 29 |
2 files changed, 26 insertions, 13 deletions
@@ -1,15 +1,17 @@ pkgbase = limboole pkgdesc = A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. - pkgver = 1.1 + pkgver = 1.2 pkgrel = 1 url = http://fmv.jku.at/limboole/ arch = i686 arch = x86_64 - license = MIT - source = http://fmv.jku.at/limboole/limboole1.1.tar.gz + license = GPL3 + source = http://fmv.jku.at/limboole/limboole1.2.tgz source = http://fmv.jku.at/picosat/picosat-960.tar.gz - sha256sums = fbf54fdfa7b6bd11c8e8246ba4367ff50287b6db264b0b3b39796c7c71855fe4 + source = https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03 + sha256sums = fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6 sha256sums = edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 + sha256sums = 9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e pkgname = limboole @@ -1,11 +1,11 @@ # Maintainer: Thomas Pointhuber <thomas.pointhuber@gmx.at> pkgname=limboole -pkgver=1.1 +pkgver=1.2 pkgrel=1 pkgdesc="A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas." arch=('i686' 'x86_64') url="http://fmv.jku.at/limboole/" -license=('MIT') # binary falls under the license from picosat +license=('GPL3') # binary falls under the license from depqbf groups=() depends=() makedepends=() @@ -17,11 +17,13 @@ backup=() options=() install= changelog= -source=("http://fmv.jku.at/limboole/$pkgname$pkgver.tar.gz" - "http://fmv.jku.at/picosat/picosat-960.tar.gz") +source=("http://fmv.jku.at/limboole/$pkgname$pkgver.tgz" + "http://fmv.jku.at/picosat/picosat-960.tar.gz" + "https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03") noextract=() -sha256sums=('fbf54fdfa7b6bd11c8e8246ba4367ff50287b6db264b0b3b39796c7c71855fe4' - 'edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817') +sha256sums=('fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6' + 'edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817' + '9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e') build() { # build picosat for static binding @@ -30,18 +32,27 @@ build() { cd "picosat" ./configure make + + # build depqbf + mv -n "../depqbf-version-6.03" "../depqbf" + cd "../depqbf" + ./compile.sh # build limboole cd "../$pkgname$pkgver" - ./configure.sh + mkdir -p log + ./configure.sh --picosat --depqbf make } + check() { - cd "$pkgname$pkgver" - ./testlimboole + echo "Tests are currently broken, re-enable once they work." + # cd "$pkgname$pkgver" + # ./testlimboole } + package() { cd "$pkgname$pkgver" install -d "$pkgdir/usr/bin" |