Initial commit

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"
+}