diff options
author | Adrian Wheeldon | 2016-10-15 14:08:55 +0100 |
---|---|---|
committer | Adrian Wheeldon | 2016-10-15 14:08:55 +0100 |
commit | 3f6d83cf95941076c007d7d04b9fbc082629b09e (patch) | |
tree | 16ba7a81e47cf53fd246942250ac783b35c0da12 | |
download | aur-3f6d83cf95941076c007d7d04b9fbc082629b09e.tar.gz |
First commit
-rw-r--r-- | .SRCINFO | 20 | ||||
-rw-r--r-- | PKGBUILD | 30 | ||||
-rwxr-xr-x | workcraft_start.sh | 9 |
3 files changed, 59 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..bd373c31ae20 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = workcraft-git + 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 + makedepends = git + makedepends = java-environment + depends = java-runtime + provides = workcraft + conflicts = workcraft + source = git+https://github.com/tuura/workcraft.git + source = workcraft_start.sh + md5sums = SKIP + md5sums = 48f63dfedeeaac4dd8ccde2d2822fefc + +pkgname = workcraft-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..5ac2284ab2b5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,30 @@ +# Maintainer: Adrian Wheeldon <arandomowl at gmail dot com> +pkgname=workcraft-git +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') +makedepends=('git' 'java-environment') +depends=('java-runtime') +provides=('workcraft') +conflicts=('workcraft') +source=(git+https://github.com/tuura/workcraft.git workcraft_start.sh) +md5sums=('SKIP' '48f63dfedeeaac4dd8ccde2d2822fefc') +pkgver() { + cd "$srcdir/${pkgname%-VCS}" + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} +build() { + cd "$srcdir/${pkgname%-VCS}" + ./gradlew assemble +} +package() { + cd "$srcdir/${pkgname%-git}" + mkdir -p "${pkgdir%-git}"/usr/bin + mkdir -p "${pkgdir%-git}"/opt/workcraft + cp -RP workcraft/* "${pkgdir%-git}"/opt/workcraft/ + cp workcraft_start.sh "${pkgdir%-git}"/usr/bin/workcraft + chmod 755 "${pkgdir%-git}/usr/bin/workcraft" +} 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" "$@" |