# 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: