diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,26 +1,26 @@ # Maintainer: Brent Carmer <bcarmer@gmail.com> pkgname=saw-script -pkgver=0.3 +pkgver=0.7 pkgrel=1 pkgdesc="The SAW scripting language." url="http://saw.galois.com/" arch=('x86_64') license=('noncommercial') -depends=('cvc4' 'java-environment') +depends=('ncurses5-compat-libs') makedepends=() optdepends=() conflicts=() replaces=() backup=() -conflicts=('') +conflicts=() provides=('saw-script') -sha512sums=(83f457f9e5b8fe7de01734b334ce45a97068a71c6884de750cc7c37a90c061c0cf53ef4b590aa4611f610312bf6f71d1b93f23e377f57b85c3a06c5fddc9e5be) +sha512sums=('5c90607a3953c4453e1d3d992dc8d4b83f7d89713fab9338779fedc614aed2449fd8f941783e8c67c17b229e9c11648d0b2310248bdd4355aa4b1dbdd7a113b5') -source=('https://github.com/GaloisInc/saw-script/releases/download/v0.3/saw-0.3-Ubuntu14.04-64.tar.gz') +source=('https://github.com/GaloisInc/saw-script/releases/download/v0.7/saw-0.7-Linux-x86_64.tar.gz') package() { - cd "$srcdir/saw-0.3-Ubuntu14.04-64" + cd "$srcdir/saw-0.7-Linux-x86_64" mkdir -p "$pkgdir/usr/bin" cp bin/* "$pkgdir/usr/bin" mkdir -p "$pkgdir/usr/share/licenses/$pkgname/" |