diff options
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = stormchecker-git pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena - pkgver = 1.1.0.r129.gbac50a32a + pkgver = 1.3.0.r380.g28f8c9d82 pkgrel = 1 url = http://www.stormchecker.org/ arch = i686 @@ -12,7 +12,7 @@ pkgbase = stormchecker-git depends = hwloc depends = xerces-c depends = z3 - depends = carl-git + depends = carl-master14-git provides = stormchecker conflicts = stormchecker source = stormchecker-git::git+https://github.com/moves-rwth/storm.git @@ -1,6 +1,6 @@ # Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> pkgname=stormchecker-git -pkgver=1.1.0.r129.gbac50a32a +pkgver=1.3.0.r380.g28f8c9d82 pkgrel=1 pkgdesc="Storm is a tool for the analysis of systems involving random or probabilistic phenomena" arch=(i686 x86_64) @@ -12,7 +12,7 @@ provides=('stormchecker') # TODO: mathsat? # TODO: sylvan is always shipped at the moment # TODO: carl-git hides some dependencies here -depends=(glpk hwloc xerces-c z3 carl-git) +depends=(glpk hwloc xerces-c z3 carl-master14-git) makedepends=(git cmake) source=("stormchecker-git::git+https://github.com/moves-rwth/storm.git") md5sums=('SKIP') @@ -38,5 +38,5 @@ build() { package() { cd "$pkgname"/build - make DESTDIR="$pkgdir/" install/fast + make DESTDIR="$pkgdir/" install } |