diff options
author | Adrian Wheeldon | 2017-02-21 21:40:08 +0000 |
---|---|---|
committer | Adrian Wheeldon | 2017-02-21 21:40:08 +0000 |
commit | 19fbc2e0cbaab21cdf9b9fbcd69cd1455b4b28f3 (patch) | |
tree | db1b00a1dcc0eeb8da6caa3b21213d51c42baf9a | |
parent | c92e8d1ea95ab43021bde64eb92542568930142b (diff) | |
download | aur-19fbc2e0cbaab21cdf9b9fbcd69cd1455b4b28f3.tar.gz |
Upgrade to v3.1.3
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 6 | ||||
-rwxr-xr-x | workcraft_start.sh | 2 |
3 files changed, 8 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = workcraft pkgdesc = A framework for interpreted graph models including petri nets and STGs - pkgver = 3.1.2 + pkgver = 3.1.3 pkgrel = 1 url = http://www.workcraft.org/ arch = i686 @@ -11,10 +11,10 @@ pkgbase = workcraft optdepends = stack: Concepts support provides = workcraft conflicts = workcraft - source = http://www.workcraft.org/_media/download/workcraft-v3.1.2-linux.tar.gz + source = http://www.workcraft.org/_media/download/workcraft-v3.1.3-linux.tar.gz source = workcraft_start.sh - md5sums = b17582f4568d0b9e79c5c7808ed9d492 - md5sums = 48f63dfedeeaac4dd8ccde2d2822fefc + md5sums = 4f888930cd8817afa7bdeb05326522cf + md5sums = f32ee62da46bd5fa04ff8ed02f7f218f pkgname = workcraft @@ -1,6 +1,6 @@ # Maintainer: Adrian Wheeldon <arandomowl at gmail dot com> pkgname=workcraft -pkgver=3.1.2 +pkgver=3.1.3 pkgrel=1 pkgdesc="A framework for interpreted graph models including petri nets and STGs" arch=('i686' 'x86_64') @@ -12,7 +12,7 @@ optdepends=( 'stack: Concepts support') provides=('workcraft') conflicts=('workcraft') -source=(http://www.workcraft.org/_media/download/workcraft-v3.1.2-linux.tar.gz workcraft_start.sh) +source=(http://www.workcraft.org/_media/download/workcraft-v3.1.3-linux.tar.gz workcraft_start.sh) package() { cd $srcdir mkdir -p "$pkgdir"/usr/bin @@ -21,4 +21,4 @@ package() { cp workcraft_start.sh "$pkgdir"/usr/bin/workcraft chmod 755 "$pkgdir/usr/bin/workcraft" } -md5sums=('b17582f4568d0b9e79c5c7808ed9d492' '48f63dfedeeaac4dd8ccde2d2822fefc') +md5sums=('4f888930cd8817afa7bdeb05326522cf' 'f32ee62da46bd5fa04ff8ed02f7f218f') diff --git a/workcraft_start.sh b/workcraft_start.sh index b09785fe3c5a..879e09fa40f2 100755 --- a/workcraft_start.sh +++ b/workcraft_start.sh @@ -5,5 +5,5 @@ CURRENT_DIR="$PWD" cd "/opt/workcraft" WORKCRAFT_HOME="$PWD" -export CLASSPATH="$WORKCRAFT_HOME/workcraft.jar:$WORKCRAFT_HOME/plugins/*" +export CLASSPATH="$WORKCRAFT_HOME/bin/*" exec /usr/bin/java org.workcraft.Console -dir:"$CURRENT_DIR" "$@" |