diff options
author | Alexander Linder | 2021-03-26 21:23:49 +0100 |
---|---|---|
committer | Alexander Linder | 2021-03-26 21:23:49 +0100 |
commit | 5f8cc591724686660bce7168f1d5458dc3e08605 (patch) | |
tree | ea776672dcaa1f86789c29b141932f0031176793 /PKGBUILD | |
download | aur-jjbmc.tar.gz |
Add ISoLa version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
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" +} |