summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD47
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
+}