Updated PKGBUILD and bumped Storm version to 1.8.0

1 files changed, 15 insertions, 26 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 2d67b7083c78..83b281bf775d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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
 }