diff options
| author | Genki Marshall | 2016-11-18 16:26:46 -0500 |
|---|---|---|
| committer | Genki Marshall | 2016-11-18 16:28:17 -0500 |
| commit | 5a02fe197537aba7ccba924b2d7dfc4043ca7cce (patch) | |
| tree | 3a1e5934263e76b78b9df9abd4366a4268e495ea | |
| download | aur-5a02fe197537aba7ccba924b2d7dfc4043ca7cce.tar.gz | |
Init repo
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 20 |
2 files changed, 35 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..209d05bb330c --- /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 000000000000..883c2edafc13 --- /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' +} |