summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrian Wheeldon2016-10-14 16:36:09 +0100
committerAdrian Wheeldon2016-10-14 18:04:50 +0100
commit35d570a9df38731300e55848830ea4b3e9f2e4f0 (patch)
tree93ba4db6cf89df83eb85fdc8ce2f105b8049e45b
downloadaur-35d570a9df38731300e55848830ea4b3e9f2e4f0.tar.gz
Fist commit
-rw-r--r--.SRCINFO18
-rw-r--r--PKGBUILD21
-rwxr-xr-xworkcraft_start.sh9
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" "$@"