diff options
author | Qirui Wang | 2019-11-11 23:00:33 +0800 |
---|---|---|
committer | Qirui Wang | 2019-11-11 23:00:33 +0800 |
commit | a09de0fdb98ce5d3263b0a2cb61855056b1453a1 (patch) | |
tree | 9440c6f3ebc931aa9dff20af5c4128149d392895 /PKGBUILD | |
parent | 67d891bd02c9359eec606c347bb2613ccdce0be1 (diff) | |
download | aur-a09de0fdb98ce5d3263b0a2cb61855056b1453a1.tar.gz |
Add SMT solvers dependencies
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -2,15 +2,17 @@ _name=rumur pkgname="$_name-git" -pkgver=2019.06.30.r2.g53f20cc +pkgver=2019.11.09.r4.gc04d79d pkgrel=1 pkgdesc="Yet another Murphi model checker" arch=('x86_64') url="https://github.com/Smattr/rumur" license=('custom:UNLICENSE') -depends=('gmp') -makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex' 'python') -checkdepends=('valgrind') +depends=('gmp' 'python') +makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex') +checkdepends=('valgrind' 'z3') +optdepends=('z3: Preferred SMT solver' + 'cvc4: Alternative SMT solver') provides=("$_name") conflicts=("$_name") source=("git+https://github.com/Smattr/$_name.git") @@ -35,7 +37,8 @@ build() { check() { cd $_name/build - ../tests/integration-tests.py --verbose + # The test needs about 1 hour + #../tests/integration-tests.py --verbose } package() { |