diff options
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 31 | ||||
| -rw-r--r-- | jjbmc.sh | 3 |
3 files changed, 50 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9ce73e164581 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = jjbmc + pkgdesc = Java Software Verification Tool + pkgver = 1.0 + pkgrel = 1 + url = https://github.com/JonasKlamroth/JJBMC + arch = any + license = unknown + depends = jre8-openjdk-headless + noextract = JJBMC.jar + source = https://github.com/JonasKlamroth/JJBMC/releases/download/ISoLa/JJBMC.jar + source = jjbmc.sh + sha256sums = a678dabf3c8bc986d5f589c8830ac828545c8a4a36e2011a1246639d24641258 + sha256sums = 143b2d54b35d8602a9bdbb2009fc39d1c0065890f4ad50bc311f9c80446cf986 + +pkgname = jjbmc + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c1d60bfdbffd --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: SeineEloquenz alexander minus linder at gmx dot de + +pkgname=jjbmc +pkgver=1.0 +pkgrel=1 +pkgdesc="Java Software Verification Tool" +arch=(any) +url="https://github.com/JonasKlamroth/JJBMC" +license=('unknown') +depends=("jre8-openjdk-headless") +optdepends=() +source=("https://github.com/JonasKlamroth/JJBMC/releases/download/ISoLa/JJBMC.jar" + "jjbmc.sh") +noextract=('JJBMC.jar') +sha256sums=('a678dabf3c8bc986d5f589c8830ac828545c8a4a36e2011a1246639d24641258' + '143b2d54b35d8602a9bdbb2009fc39d1c0065890f4ad50bc311f9c80446cf986') + +build() { + ls + # assume ant defaults to UTF8 encoding. +} + +package() { + install -m 755 -D "jjbmc.sh" "$pkgdir/usr/bin/jjbmc" + + mkdir -p "${pkgdir}/usr/share/java/jjbmc" + + cp JJBMC.jar "${pkgdir}/usr/share/java/jjbmc/jjbmc.jar" + + ls "${pkgdir}/usr/share/java/jjbmc" +} diff --git a/jjbmc.sh b/jjbmc.sh new file mode 100644 index 000000000000..54bb65eb71dc --- /dev/null +++ b/jjbmc.sh @@ -0,0 +1,3 @@ +#!/bin/sh +export PATH="/usr/lib/jvm/java-8-openjdk/jre/bin/:$PATH" +java -jar /usr/share/java/jjbmc/jjbmc.jar "$@" |