summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorGenki Marshall2016-11-18 16:26:46 -0500
committerGenki Marshall2016-11-18 16:28:17 -0500
commit5a02fe197537aba7ccba924b2d7dfc4043ca7cce (patch)
tree3a1e5934263e76b78b9df9abd4366a4268e495ea
downloadaur-5a02fe197537aba7ccba924b2d7dfc4043ca7cce.tar.gz
Init repo
-rw-r--r--.SRCINFO15
-rw-r--r--PKGBUILD20
2 files changed, 35 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..209d05bb330
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = tla-toolbox
+ pkgdesc = IDE for the TLA+ tools
+ pkgver = 1.5.2
+ pkgrel = 1
+ url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
+ arch = x86_64
+ license = MIT
+ depends = jre8-openjdk
+ provides = tla-toolbox
+ conflicts = tla-toolbox
+ source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip
+ md5sums = SKIP
+
+pkgname = tla-toolbox
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..883c2edafc1
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,20 @@
+# Maintainer: Genki Marshall <genki at genki dot is>
+
+pkgname=tla-toolbox
+pkgver=1.5.2
+pkgrel=1
+pkgdesc="IDE for the TLA+ tools"
+arch=('x86_64')
+url="http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html"
+license=('MIT')
+depends=('jre8-openjdk')
+provides=("${pkgname}")
+conflicts=("${pkgname}")
+source=('https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip')
+md5sums=('SKIP')
+
+package() {
+ mkdir -p "$pkgdir/opt/tla-toolbox"
+ cp -r toolbox/* "$pkgdir/opt/tla-toolbox/"
+ echo '>>> Note: IDE binary will be located at /opt/tla-toolbox/toolbox'
+}