diff options
author | Asger Hautop Drewsen | 2018-03-07 16:26:28 +0100 |
---|---|---|
committer | Asger Hautop Drewsen | 2018-03-07 16:26:28 +0100 |
commit | 1d82f9b15399f28c480ab157bed9d51957590b41 (patch) | |
tree | 19264e50c49b2d13e75e60749646a56559a46db1 | |
download | aur-1d82f9b15399f28c480ab157bed9d51957590b41.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 60 |
2 files changed, 74 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..907ab0cae725 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = jif + pkgdesc = Security-typed programming language that extends Java with support for information flow control and access control, enforced at both compile time and run time + pkgver = 3.5.0 + pkgrel = 1 + url = https://www.cs.cornell.edu/jif/ + arch = any + license = LGPL2 + makedepends = apache-ant + depends = java-environment + source = http://www.cs.cornell.edu/jif/releases/jif-3.5.0.zip + sha256sums = 1ef1603183234474d903b6c4bc7fea734c82827f6a6d7e2eecb3a873f617f57e + +pkgname = jif + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..cb34b8e3575b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,60 @@ +# Maintainer: Asger Hautop Drewsen <asgerdrewsen@gmail.com> + +pkgname=jif +pkgver=3.5.0 +pkgrel=1 +pkgdesc="Security-typed programming language that extends Java with support for information flow control and access control, enforced at both compile time and run time" +arch=('any') +url="https://www.cs.cornell.edu/jif/" +license=('LGPL2') +depends=('java-environment') +makedepends=('apache-ant') +optdepends=() +source=("http://www.cs.cornell.edu/jif/releases/jif-${pkgver}.zip") +sha256sums=('1ef1603183234474d903b6c4bc7fea734c82827f6a6d7e2eecb3a873f617f57e') + +build() { + cd "jif-${pkgver}" + java=$(archlinux-java get) + + ant configure jif-runtime -Djif-runtime-native.java-include-dir="/usr/lib/jvm/$java/include" + + # rm -rf *src + chmod a+x bin/jc + + # ant clean + # ant -Djif-runtime-native.java-include-dir="/usr/lib/jvm/$java/include" +} + +check() { + cd "jif-${pkgver}" + JIF="$PWD" + + cd "${JIF}/tests" + "${JIF}/bin/jifc" jif/principals/Alice.jif jif/principals/Bob.jif + + cd "${JIF}/examples/battleship" + "${JIF}/bin/jifc" -classpath ${JIF}/tests *.jif + "${JIF}/bin/jif" -classpath "${JIF}/tests:." Main > /dev/null +} + + +_make_wrapper() { + cat > "$2" <<END +#!/bin/bash +"$1" "\$@" +END + chmod a+x "$2" +} + +package() { + mkdir -p "${pkgdir}/opt" + cp -dpr --no-preserve=ownership "${srcdir}/jif-${pkgver}" "${pkgdir}/opt/jif" + + mkdir -p "${pkgdir}/usr/bin" + cd "${pkgdir}/usr/bin" + + _make_wrapper "/opt/jif/bin/jif" "jif" + _make_wrapper "/opt/jif/bin/jifc" "jifc" + _make_wrapper "/opt/jif/bin/jc" "jc" +} |