diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..4c4cf3addb05 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,47 @@ +# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> +pkgname=stormchecker-git +pkgver=1.0.1.r247.g3f241280e +pkgrel=1 +pkgdesc="Storm is a tool for the analysis of systems involving random or probabilistic phenomena" +arch=(i686 x86_64) +url="http://www.stormchecker.org/" +license=('GPL3') +groups=() +conflicts=('stormchecker') +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) +makedepends=(git cmake) +source=("stormchecker-git::git+https://github.com/moves-rwth/storm.git") +md5sums=('SKIP') + +pkgver() { + cd "$pkgname" + git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g' +} + +build() { + cd "$pkgname" + rm -rf build/ + + mkdir build + cd build + + cmake -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib \ + .. + + make +} + +#check() { +# cd "$pkgname"/build +# make check +#} + +package() { + cd "$pkgname"/build + make DESTDIR="$pkgdir/" install/fast +} |