diff options
author | volkm | 2023-07-03 23:34:16 +0200 |
---|---|---|
committer | volkm | 2023-07-03 23:34:16 +0200 |
commit | a2c0e0d8efccb946a02862a2c8da77934ba8c135 (patch) | |
tree | 08d518da8bb5bbc28f2fe54ba07baace8745c403 | |
parent | 28b67a1c4be3a7704d8ff62ca94defdc294e2ab6 (diff) | |
download | aur-stormchecker.tar.gz |
Updated PKGBUILD and bumped Storm version to 1.8.0
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | PKGBUILD | 41 |
2 files changed, 25 insertions, 35 deletions
@@ -1,21 +1,22 @@ pkgbase = stormchecker - pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena - pkgver = 1.3.0 + pkgdesc = A modern probabilistic model checker + pkgver = 1.8.1 pkgrel = 1 - url = http://www.stormchecker.org/ + url = https://www.stormchecker.org arch = i686 arch = x86_64 license = GPL3 makedepends = cmake + depends = boost + depends = eigen depends = glpk + depends = gmp depends = hwloc depends = xerces-c depends = z3 - depends = carl-master14-git - provides = stormchecker - conflicts = stormchecker - source = https://github.com/moves-rwth/storm/archive/1.3.0.tar.gz - md5sums = 894ae6d2addff46380bf640f61bbf92c + depends = carl-storm + optdepends = spot: support for LTL formulas + source = storm-1.8.1.tar.gz::https://github.com/moves-rwth/storm/archive/1.8.1.tar.gz + sha256sums = 13de6e7816f2b796db3557ac6b058e2ccab9cd129e243cfce93dd7cdd82f3ee1 pkgname = stormchecker - @@ -1,37 +1,26 @@ -# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> +# Maintainer: Matthias Volk <m.volk at utwente dot nl> +# Contributor: Sascha Wunderlich <archlinux at saschawunderlich dot de> pkgname=stormchecker -pkgver=1.3.0 +pkgver=1.8.1 pkgrel=1 -pkgdesc="Storm is a tool for the analysis of systems involving random or probabilistic phenomena" +pkgdesc="A modern probabilistic model checker" arch=(i686 x86_64) -url="http://www.stormchecker.org/" +url="https://www.stormchecker.org" license=('GPL3') -groups=() -conflicts=('stormchecker') -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-master14-git) +depends=(boost eigen glpk gmp hwloc xerces-c z3 carl-storm) makedepends=(cmake) -source=("https://github.com/moves-rwth/storm/archive/$pkgver.tar.gz") -md5sums=('894ae6d2addff46380bf640f61bbf92c') +optdepends=('spot: support for LTL formulas') +source=("storm-$pkgver.tar.gz::https://github.com/moves-rwth/storm/archive/$pkgver.tar.gz") +sha256sums=(13de6e7816f2b796db3557ac6b058e2ccab9cd129e243cfce93dd7cdd82f3ee1) build() { - cd "storm-$pkgver" - rm -rf build/ - - mkdir build - cd build - - cmake -DCMAKE_BUILD_TYPE=Release \ - -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib \ - .. - - make binaries + mkdir -p "storm-$pkgver/build" + cd "storm-$pkgver/build" + cmake -DSTORM_EXCLUDE_TESTS_FROM_ALL=ON -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib .. + make } package() { - cd "storm-$pkgver"/build - make DESTDIR="$pkgdir/" install/fast + cd "storm-$pkgver/build" + make DESTDIR="$pkgdir/" install } |