Initial version

2 files changed, 59 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..d16c4cc9f04b
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,21 @@
+pkgbase = stormchecker
+	pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena
+	pkgver = 1.1.0
+	pkgrel = 1
+	url = http://www.stormchecker.org/
+	arch = i686
+	arch = x86_64
+	license = GPL3
+	makedepends = cmake
+	depends = glpk
+	depends = hwloc
+	depends = xerces-c
+	depends = z3
+	depends = carl
+	provides = stormchecker
+	conflicts = stormchecker
+	source = https://github.com/moves-rwth/storm/archive/1.1.0.tar.gz
+	md5sums = b85a8162197abca05e76c0cb9475ce1f
+
+pkgname = stormchecker
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..00e69ad70082
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,38 @@
+# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de>
+pkgname=stormchecker
+pkgver=1.1.0
+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 hides some dependencies here
+depends=(glpk hwloc xerces-c z3 carl)
+makedepends=(cmake)
+source=("https://github.com/moves-rwth/storm/archive/$pkgver.tar.gz")
+md5sums=('b85a8162197abca05e76c0cb9475ce1f')
+
+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
+  make storm-pgcl-cli
+}
+
+package() {
+  cd "storm-$pkgver"/build
+  make DESTDIR="$pkgdir/" install/fast
+}