Initial import

1 files changed, 32 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..ed70fbc93dd8
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,32 @@
+# Maintainer: David Barnett <zyphrus@outlook.com>
+pkgname='whiley'
+pkgver='0.3.36'
+pkgrel='0'
+pkgdesc='Whiley Development Kit. A programming language particularly suited to safety-critical systems'
+arch=("any")
+url="http://whiley.org/"
+license=('custom')
+depends=('java-environment-jdk')
+provides=('whiley')
+source=("http://whiley.org/download/wdk/wdk-src-v${pkgver}.tgz")
+sha256sums=('743b749527492c6427a690becaa65b2b633e25b06243a09c522c1d673b177593')
+
+build() {
+  cd "${srcdir}"
+  echo "#!/bin/bash" > proxy
+  echo "sh /usr/share/$pkgname/bin/\$(basename \$0) \$1" >> proxy
+}
+
+package() {
+  cd "${srcdir}/wdk-v${pkgver}"
+  mkdir -p "$pkgdir/usr/share/$pkgname"
+  cp -r * "$pkgdir/usr/share/$pkgname"
+  install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+
+  cd ${srcdir}
+  for bin in $(ls "${srcdir}/wdk-v${pkgver}/bin"); do
+    install -Dm755 proxy "$pkgdir/usr/bin/${bin}"
+  done
+}
+
+# vim:set ts=2 sw=2 et: