diff options
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 12 |
2 files changed, 10 insertions, 11 deletions
@@ -1,15 +1,14 @@ pkgbase = saw-script pkgdesc = The SAW scripting language. - pkgver = 0.3 + pkgver = 0.7 pkgrel = 1 url = http://saw.galois.com/ arch = x86_64 license = noncommercial - depends = cvc4 - depends = java-environment + depends = ncurses5-compat-libs provides = saw-script - source = https://github.com/GaloisInc/saw-script/releases/download/v0.3/saw-0.3-Ubuntu14.04-64.tar.gz - sha512sums = 83f457f9e5b8fe7de01734b334ce45a97068a71c6884de750cc7c37a90c061c0cf53ef4b590aa4611f610312bf6f71d1b93f23e377f57b85c3a06c5fddc9e5be + source = https://github.com/GaloisInc/saw-script/releases/download/v0.7/saw-0.7-Linux-x86_64.tar.gz + sha512sums = 5c90607a3953c4453e1d3d992dc8d4b83f7d89713fab9338779fedc614aed2449fd8f941783e8c67c17b229e9c11648d0b2310248bdd4355aa4b1dbdd7a113b5 pkgname = saw-script @@ -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/" |