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