Initial commit

3 files changed, 64 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..3b5b8558f43a
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = prismmodelchecker-git
+	pkgdesc = PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour
+	pkgver = r3365.a8999396
+	pkgrel = 1
+	url = http://www.prismmodelchecker.org/
+	arch = i686
+	arch = x86_64
+	license = GPL2
+	depends = java-environment
+	depends = python
+	provides = prismmodelchecker
+	conflicts = prismmodelchecker
+	source = prismmodelchecker-git::git+https://github.com/prismmodelchecker/prism.git
+	md5sums = SKIP
+
+pkgname = prismmodelchecker-git
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..72e8ffc0db8a
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..5cb970c58fe6
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de>
+pkgname=prismmodelchecker-git
+pkgver=r3365.a8999396
+pkgrel=1
+pkgdesc="PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour"
+arch=(i686 x86_64)
+url="http://www.prismmodelchecker.org/"
+license=('GPL2')
+groups=()
+conflicts=('prismmodelchecker')
+provides=('prismmodelchecker')
+depends=(java-environment python)
+makedepends=()
+source=("prismmodelchecker-git::git+https://github.com/prismmodelchecker/prism.git")
+md5sums=('SKIP')
+
+pkgver() {
+  cd "$pkgname"
+  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+}
+
+build() {
+  cd "$pkgname"/prism
+
+  make
+  make binary
+}
+
+package() {
+  cd "$pkgname"/prism
+
+  sed -i 's/^\(PRISM_DIR=\).*/\1"\/usr\/share\/java\/prism\/"/' bin/prism
+  sed -i 's/^\(PRISM_DIR=\).*/\1"\/usr\/share\/java\/prism\/"/' bin/xprism
+
+  mkdir -p $pkgdir/usr/share/java/prism/
+
+  cp -r bin/ $pkgdir/usr/share/java/prism/bin/
+  cp -r lib/ $pkgdir/usr/share/java/prism/lib/
+  cp -r etc/ $pkgdir/usr/share/java/prism/etc/
+
+  install -d $pkgdir/usr/bin/
+  ln -s "/usr/share/java/prism/bin/prism" "${pkgdir}/usr/bin/prism"
+  ln -s "/usr/share/java/prism/bin/xprism" "${pkgdir}/usr/bin/xprism"
+  ln -s "/usr/share/java/prism/bin/ngprism" "${pkgdir}/usr/bin/ngprism"
+  ln -s "/usr/share/java/prism/etc/scripts/prism-auto" "${pkgdir}/usr/bin/prism-auto"
+}