summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorQirui Wang2019-12-25 01:51:48 +0800
committerQirui Wang2019-12-25 01:51:48 +0800
commitbe88bb66e5f51e17fb716dee926a98b1c42f9a44 (patch)
tree2873549e13292aa1f3c8c4e8b1c771e96d54a4f2
parenta09de0fdb98ce5d3263b0a2cb61855056b1453a1 (diff)
downloadaur-rumur-git.tar.gz
Update check script
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD16
2 files changed, 9 insertions, 9 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 6900a523ff1..4bfe7bb5d1d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = rumur-git
pkgdesc = Yet another Murphi model checker
- pkgver = 2019.11.09.r4.gc04d79d
+ pkgver = 2019.12.22.r0.ga1b6d61
pkgrel = 1
url = https://github.com/Smattr/rumur
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 6ab46614ed4..2ada82984fb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
_name=rumur
pkgname="$_name-git"
-pkgver=2019.11.09.r4.gc04d79d
+pkgver=2019.12.22.r0.ga1b6d61
pkgrel=1
pkgdesc="Yet another Murphi model checker"
arch=('x86_64')
@@ -24,25 +24,25 @@ pkgver() {
}
prepare() {
- mkdir -p $_name/build
+ mkdir -p build
}
build() {
- cd $_name/build
- cmake .. \
+ cd build
+ cmake "../$_name" \
-DCMAKE_INSTALL_PREFIX=/usr \
-DCMAKE_INSTALL_LIBDIR=/usr/lib
make
}
check() {
- cd $_name/build
+ cd build
# The test needs about 1 hour
- #../tests/integration-tests.py --verbose
+ #env PATH="./rumur:./ast-dump${PATH:+:$PATH}" "../$pkgname-$pkgver/tests/run-tests.py"
}
package() {
- cd $_name/build
+ cd build
make DESTDIR="$pkgdir" install
- install -Dm644 ../LICENSE "$pkgdir/usr/share/licenses/$pkgname/licence"
+ install -Dm644 "../$_name/LICENSE" "$pkgdir/usr/share/licenses/$pkgname/licence"
}