blob: ed70fbc93dd884e9963e7da81e74f1315035f6db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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:
|