summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorQirui Wang2019-03-20 14:02:18 -0400
committerQirui Wang2019-03-20 14:02:18 -0400
commitb0b7f73592eb6923ce91ec459c0cabd083a26f49 (patch)
tree6a1892a02c91d1d338f04e7b2af37a66251d1be6
parent307a093f7869c171a10d0f6f453410e40cd5f667 (diff)
downloadaur-b0b7f73592eb6923ce91ec459c0cabd083a26f49.tar.gz
Fix makedepends
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f0365d237f2..4ac36fd0e15 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,15 @@
pkgbase = rumur-git
pkgdesc = Yet another Murphi model checker
- pkgver = 2019.03.11.r11.g9626824
+ pkgver = 2019.03.11.r17.g7e9addb
pkgrel = 1
url = https://github.com/Smattr/rumur
arch = x86_64
license = custom
makedepends = git
makedepends = cmake
- makedepends = bison
- makedepends = flex
- makedepends = bison
+ makedepends = bison>=3.3.2
makedepends = flex
+ makedepends = python
depends = gmp
provides = rumur
conflicts = rumur
diff --git a/PKGBUILD b/PKGBUILD
index 3ccb1321933..4f44908d8ca 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,14 +2,14 @@
_name=rumur
pkgname="$_name-git"
-pkgver=2019.03.11.r11.g9626824
+pkgver=2019.03.11.r17.g7e9addb
pkgrel=1
pkgdesc="Yet another Murphi model checker"
arch=('x86_64')
url="https://github.com/Smattr/rumur"
license=('custom')
depends=('gmp')
-makedepends=('git' 'cmake' 'bison' 'flex' 'bison' 'flex')
+makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex' 'python')
provides=("$_name")
conflicts=("$_name")
source=("git+https://github.com/Smattr/$_name.git")