summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorQirui Wang2019-06-30 20:36:26 -0400
committerQirui Wang2019-06-30 20:36:26 -0400
commit67d891bd02c9359eec606c347bb2613ccdce0be1 (patch)
tree84ca85dd30f06de993279d64f40441f9cd9a4862
parentb0b7f73592eb6923ce91ec459c0cabd083a26f49 (diff)
downloadaur-67d891bd02c9359eec606c347bb2613ccdce0be1.tar.gz
Add valgrind to checkdepends
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD5
2 files changed, 6 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4ac36fd0e15..a8966783a9a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,11 @@
pkgbase = rumur-git
pkgdesc = Yet another Murphi model checker
- pkgver = 2019.03.11.r17.g7e9addb
+ pkgver = 2019.06.30.r2.g53f20cc
pkgrel = 1
url = https://github.com/Smattr/rumur
arch = x86_64
- license = custom
+ license = custom:UNLICENSE
+ checkdepends = valgrind
makedepends = git
makedepends = cmake
makedepends = bison>=3.3.2
diff --git a/PKGBUILD b/PKGBUILD
index 4f44908d8ca..2b1b06aa19c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,14 +2,15 @@
_name=rumur
pkgname="$_name-git"
-pkgver=2019.03.11.r17.g7e9addb
+pkgver=2019.06.30.r2.g53f20cc
pkgrel=1
pkgdesc="Yet another Murphi model checker"
arch=('x86_64')
url="https://github.com/Smattr/rumur"
-license=('custom')
+license=('custom:UNLICENSE')
depends=('gmp')
makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex' 'python')
+checkdepends=('valgrind')
provides=("$_name")
conflicts=("$_name")
source=("git+https://github.com/Smattr/$_name.git")