summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrian Wheeldon2016-10-15 14:08:55 +0100
committerAdrian Wheeldon2016-10-15 14:08:55 +0100
commit3f6d83cf95941076c007d7d04b9fbc082629b09e (patch)
tree16ba7a81e47cf53fd246942250ac783b35c0da12
downloadaur-3f6d83cf95941076c007d7d04b9fbc082629b09e.tar.gz
First commit
-rw-r--r--.SRCINFO20
-rw-r--r--PKGBUILD30
-rwxr-xr-xworkcraft_start.sh9
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" "$@"