diff options
author | Drew Noel | 2019-03-08 09:15:13 -0500 |
---|---|---|
committer | Drew Noel | 2019-03-08 09:15:29 -0500 |
commit | e31578d1317d51221d27b1b82ed349a67a8894dd (patch) | |
tree | 55df89e74d18f3bf98faea8ce3d58a4c46cb542c /PKGBUILD | |
download | aur-jpf-core-git.tar.gz |
Import
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..fb2a90798eb8 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,41 @@ +# Maintainer: Drew Noel <drewmnoel@gmail.com> +pkgname=jpf-core-git +pkgver=jpf.8.0.r67.ge734381 +pkgrel=1 +pkgdesc="Explicit state software model checker for Java bytecode" +arch=('any') +url="https://github.com/javapathfinder/jpf-core" +license=('APACHE') +depends=('java-environment-openjdk>=7') +makedepends=('gradle') +provides=('jpf') +source=('git+https://github.com/javapathfinder/jpf-core' + 'jpf.properties' + 'jpf') + +md5sums=('SKIP' + 'e25814db7a0c0efb45ff737a538e49a4' + '6f96fef6cc825e9823c7daa8fb5d4460') + +pkgver() { + cd $srcdir/jpf-core + git describe --long --tags | sed 's/\([^-]*-g\)/r\1/;s/-/./g' | tr '[:upper:]' '[:lower:]' +} + +build() { + cd $srcdir/jpf-core + + # Compile + ./gradlew buildJars +} + +package() { + # Copy the mandatory config + install -D -m644 -t $pkgdir/usr/share/java/jpf/ $srcdir/jpf.properties + + # Copy all the .JAR files + install -D -m644 -t $pkgdir/usr/share/java/jpf/ $srcdir/jpf-core/build/*.jar + + # Copy the jpf executable + install -D -m755 -t $pkgdir/usr/local/bin/ $srcdir/jpf +} |