diff options
| author | Carsten Csiky (csicar) | 2018-12-05 17:05:17 +0100 |
|---|---|---|
| committer | Carsten Csiky (csicar) | 2018-12-05 17:06:23 +0100 |
| commit | ebf299d009f866ee9cb03c9c6f1b9b82fe922ac0 (patch) | |
| tree | 9f5b42adf0bd3293b737287da0019612a8cd14c8 | |
| download | aur-ebf299d009f866ee9cb03c9c6f1b9b82fe922ac0.tar.gz | |
initial
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 26 | ||||
| -rwxr-xr-x | openjml.sh | 3 |
3 files changed, 45 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e779e45c6b91 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = openjml-bin + pkgdesc = Java Software Verification Tool + pkgver = 0.8.40 + pkgrel = 2 + url = https://www.openjml.org/ + arch = any + license = unknown + depends = java-runtime + optdepends = z3 + source = http://jmlspecs.sourceforge.net/openjml.zip + source = openjml.sh + sha256sums = e2f23ef1ba8a7661b7e248953c58a342adcf3e2554e04ed22351d6b02ad79f36 + sha256sums = ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca + +pkgname = openjml-bin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..1b87e179d3d5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: csicar + +pkgname=openjml-bin +pkgver=0.8.40 +pkgrel=2 +pkgdesc="Java Software Verification Tool" +arch=(any) +url="https://www.openjml.org/" +license=('unknown') +depends=("java-runtime") +optdepends=("z3") +source=("http://jmlspecs.sourceforge.net/openjml.zip" + "openjml.sh") +sha256sums=('e2f23ef1ba8a7661b7e248953c58a342adcf3e2554e04ed22351d6b02ad79f36' + 'ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca') + +package() { + install -m 755 -D "openjml.sh" "$pkgdir/usr/bin/openjml" + + mkdir -p "${pkgdir}/usr/share/java/openjml" + + cp openjml.jar "${pkgdir}/usr/share/java/openjml/openjml.jar" + cp jmlspecs.jar "${pkgdir}/usr/share/java/openjml/jmlspecs.jar" + cp jmlruntime.jar "${pkgdir}/usr/share/java/openjml/jmlruntime.jar" + +} diff --git a/openjml.sh b/openjml.sh new file mode 100755 index 000000000000..f5799a0de2ac --- /dev/null +++ b/openjml.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +java -jar /usr/share/java/openjml/openjml.jar "$@" |