diff options
author | Adrian Wheeldon | 2016-10-14 16:36:09 +0100 |
---|---|---|
committer | Adrian Wheeldon | 2016-10-14 18:04:50 +0100 |
commit | 35d570a9df38731300e55848830ea4b3e9f2e4f0 (patch) | |
tree | 93ba4db6cf89df83eb85fdc8ce2f105b8049e45b | |
download | aur-35d570a9df38731300e55848830ea4b3e9f2e4f0.tar.gz |
Fist commit
-rw-r--r-- | .SRCINFO | 18 | ||||
-rw-r--r-- | PKGBUILD | 21 | ||||
-rwxr-xr-x | workcraft_start.sh | 9 |
3 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a31a7a9e2a55 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = workcraft + pkgdesc = A framework for interpreted graph models including petri nets and STGs + pkgver = 3.1.2 + pkgrel = 1 + url = http://www.workcraft.org/ + arch = i686 + arch = x86_64 + license = GPL + depends = java-runtime + provides = workcraft + conflicts = workcraft + source = http://www.workcraft.org/_media/download/workcraft-v3.1.2-linux.tar.gz + source = workcraft_start.sh + md5sums = b17582f4568d0b9e79c5c7808ed9d492 + md5sums = 48f63dfedeeaac4dd8ccde2d2822fefc + +pkgname = workcraft + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..79943abb7ef5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,21 @@ +# Maintainer: Adrian Wheeldon <arandomowl at gmail dot com> +pkgname=workcraft +pkgver=3.1.2 +pkgrel=1 +pkgdesc="A framework for interpreted graph models including petri nets and STGs" +arch=('i686' 'x86_64') +url="http://www.workcraft.org/" +license=('GPL') +depends=('java-runtime') +provides=('workcraft') +conflicts=('workcraft') +source=(http://www.workcraft.org/_media/download/workcraft-v3.1.2-linux.tar.gz workcraft_start.sh) +package() { + cd $srcdir + mkdir -p "$pkgdir"/usr/bin + mkdir -p "$pkgdir"/opt/workcraft + cp -RP workcraft/* "$pkgdir"/opt/workcraft/ + cp workcraft_start.sh "$pkgdir"/usr/bin/workcraft + chmod 755 "$pkgdir/usr/bin/workcraft" +} +md5sums=('b17582f4568d0b9e79c5c7808ed9d492' '48f63dfedeeaac4dd8ccde2d2822fefc') diff --git a/workcraft_start.sh b/workcraft_start.sh new file mode 100755 index 000000000000..b09785fe3c5a --- /dev/null +++ b/workcraft_start.sh @@ -0,0 +1,9 @@ +#!/bin/sh -e + +CURRENT_DIR="$PWD" + +cd "/opt/workcraft" +WORKCRAFT_HOME="$PWD" + +export CLASSPATH="$WORKCRAFT_HOME/workcraft.jar:$WORKCRAFT_HOME/plugins/*" +exec /usr/bin/java org.workcraft.Console -dir:"$CURRENT_DIR" "$@" |