blob: c83fb598b33c3670f6d8e99a7f8d8ba7658e9d41 (
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
|
# Maintainer: Brent Carmer <bcarmer@gmail.com>
pkgname=saw-script
pkgver=0.2
pkgrel=1
pkgdesc="The SAW scripting language."
url="http://saw.galois.com/"
arch=('x86_64')
license=('noncommercial')
depends=('cvc4' 'libtinfo' 'java-environment')
makedepends=()
optdepends=()
conflicts=()
replaces=()
backup=()
conflicts=('')
provides=('saw-script')
sha512sums=('097e1a9468cc76d3ec31598d9ad120b3d3d49f55ef1399f981eb60b0ccb5283996dfb3e9f41ed209cb11496c7c096b45f774ad84d44592454e23628847742e38')
source=('https://github.com/GaloisInc/saw-script/releases/download/v0.2/saw-0.2-2016-04-12-Ubuntu14.04-64.tar.gz')
package() {
cd "$srcdir/saw-0.2-2016-04-12-Ubuntu14.04-64"
mkdir -p "$pkgdir/usr/bin"
cp bin/* "$pkgdir/usr/bin"
mkdir -p "$pkgdir/usr/share/licenses/$pkgname/"
cp LICENSE "$pkgdir/usr/share/licenses/$pkgname/"
}
|