diff options
author | Sascha Wunderlich | 2017-08-17 10:45:42 +0200 |
---|---|---|
committer | Sascha Wunderlich | 2017-08-17 10:46:35 +0200 |
commit | 186ad0e86a8619ae9557af50d88073019488cca4 (patch) | |
tree | 75d705c9e2a6341c7bf8809f62792035cc846c00 | |
download | aur-186ad0e86a8619ae9557af50d88073019488cca4.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | PKGBUILD | 46 |
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" +} |