summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorQirui Wang2019-11-11 23:00:33 +0800
committerQirui Wang2019-11-11 23:00:33 +0800
commita09de0fdb98ce5d3263b0a2cb61855056b1453a1 (patch)
tree9440c6f3ebc931aa9dff20af5c4128149d392895
parent67d891bd02c9359eec606c347bb2613ccdce0be1 (diff)
downloadaur-a09de0fdb98ce5d3263b0a2cb61855056b1453a1.tar.gz
Add SMT solvers dependencies
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD13
2 files changed, 13 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a8966783a9a..6900a523ff1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,20 @@
pkgbase = rumur-git
pkgdesc = Yet another Murphi model checker
- pkgver = 2019.06.30.r2.g53f20cc
+ pkgver = 2019.11.09.r4.gc04d79d
pkgrel = 1
url = https://github.com/Smattr/rumur
arch = x86_64
license = custom:UNLICENSE
checkdepends = valgrind
+ checkdepends = z3
makedepends = git
makedepends = cmake
makedepends = bison>=3.3.2
makedepends = flex
- makedepends = python
depends = gmp
+ depends = python
+ optdepends = z3: Preferred SMT solver
+ optdepends = cvc4: Alternative SMT solver
provides = rumur
conflicts = rumur
source = git+https://github.com/Smattr/rumur.git
diff --git a/PKGBUILD b/PKGBUILD
index 2b1b06aa19c..6ab46614ed4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {