diff options
| author | Alexander F Rødseth | 2015-06-10 14:28:08 +0200 |
|---|---|---|
| committer | Alexander F Rødseth | 2015-06-10 14:28:08 +0200 |
| commit | 7ac338e9a4d0a23392cabff31c80257600a80d7b (patch) | |
| tree | 0afe86e0b815a30e7aa3c27fab9963d1a68614c4 | |
| download | aur-7ac338e9a4d0a23392cabff31c80257600a80d7b.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 21 | ||||
| -rw-r--r-- | PKGBUILD | 43 | ||||
| -rw-r--r-- | ltsa.install | 14 | ||||
| -rw-r--r-- | ltsa.sh | 2 |
4 files changed, 80 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..579c9d4de4c8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = ltsa + pkgdesc = Labelled Transition System Analyser, a verification tool for concurrent systems + pkgver = 3.0 + pkgrel = 6 + url = http://www.doc.ic.ac.uk/ltsa/ + install = ltsa.install + arch = any + license = unknown + makedepends = imagemagick + makedepends = setconf + makedepends = gendesk + depends = java-runtime + depends = bash + depends = libcups + source = http://www.doc.ic.ac.uk/~jnm/book/ltsa/ltsatool.zip + source = ltsa.sh + sha256sums = 9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046 + sha256sums = 34f53ef6b330e49d3eaeb8754703a09ac98d95052bf6c08abb9f0161bb66ff84 + +pkgname = ltsa + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..bf8c9dfc3a3d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,43 @@ +# Maintainer: Alexander Rødseth <rodseth@gmail.com> +# Contributor: Woof <woofy1231@hotmail.com> +# Contributor: catwell <catwell@archlinux.us> + +pkgname=ltsa +pkgver=3.0 +pkgrel=6 +pkgdesc="Labelled Transition System Analyser, a verification tool for concurrent systems" +arch=('any') +url="http://www.doc.ic.ac.uk/ltsa/" +license=('unknown') +depends=('java-runtime' 'bash' 'libcups') +install=ltsa.install +makedepends=('imagemagick' 'setconf' 'gendesk') +source=("http://www.doc.ic.ac.uk/~jnm/book/$pkgname/${pkgname}tool.zip" + "$pkgname.sh") +sha256sums=('9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046' + '34f53ef6b330e49d3eaeb8754703a09ac98d95052bf6c08abb9f0161bb66ff84') + +build() { + cd "$srcdir" + gendesk -n + setconf "$pkgname.desktop" Categories "Education;Java;" + msg2 "Generating $pkgname.png..." + convert "${pkgname}tool/$pkgname.ico" "$pkgname.png" +} + +package() { + cd "$srcdir/${pkgname}tool" + + mkdir -p "$pkgdir/usr/share/$pkgname" "$pkgdir/usr/share/doc/$pkgname" + msg2 "Packaging application..." + cp -r *.jar "$pkgdir/usr/share/$pkgname" + install -DTm755 "$startdir/$pkgname.sh" "$pkgdir/usr/bin/$pkgname" + msg2 "Packaging examples..." + cp -r Chapter_examples "$pkgdir/usr/share/doc/$pkgname/examples" + msg2 "Packaging icon and desktop shortcut..." + cd "$srcdir" + install -DTm644 "$pkgname.png" "$pkgdir/usr/share/pixmaps/$pkgname.png" + install -DTm644 "$pkgname.desktop" \ + "$pkgdir/usr/share/applications/$pkgname.desktop" +} + diff --git a/ltsa.install b/ltsa.install new file mode 100644 index 000000000000..5fb49f9d3a32 --- /dev/null +++ b/ltsa.install @@ -0,0 +1,14 @@ +post_install() +{ + which java > /dev/null 2> /dev/null + if [ $? -ne 0 ]; then + echo "WARNING: You need the 'java' binary in your \$PATH to use LTSA."; + fi +} + +post_upgrade() +{ + post_install $1 +} + +# vim:set ts=2 sw=2 et: diff --git a/ltsa.sh b/ltsa.sh new file mode 100644 index 000000000000..e9b16ef2878e --- /dev/null +++ b/ltsa.sh @@ -0,0 +1,2 @@ +#!/bin/sh +java -jar /usr/share/ltsa/ltsa.jar $*
\ No newline at end of file |