diff options
author | Brent Carmer | 2017-11-07 11:32:32 -0800 |
---|---|---|
committer | Brent Carmer | 2017-11-07 11:32:32 -0800 |
commit | 72308a37c5fa9359cab856a21db3a61b4ee067f0 (patch) | |
tree | f01fab0512edf4ad9f5caebaf79062a0755a43a6 | |
parent | 163c08defbc3e4dc07e2d140b820e0648893aa3e (diff) | |
download | aur-72308a37c5fa9359cab856a21db3a61b4ee067f0.tar.gz |
bump version
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 6 deletions
@@ -1,18 +1,18 @@ # Generated by mksrcinfo v8 -# Fri Sep 30 17:59:07 UTC 2016 +# Tue Nov 7 19:32:31 UTC 2017 pkgbase = saw-script-git pkgdesc = The SAW scripting language. - pkgver = cbeb831 + pkgver = 6e417757 pkgrel = 1 url = http://saw.galois.com/ arch = x86_64 license = noncommercial makedepends = cabal-install depends = cvc4 - depends = libtinfo depends = java-environment depends = ncurses depends = cryptol + depends = z3 provides = saw-script conflicts = saw-script source = git://github.com/GaloisInc/saw-script.git @@ -2,7 +2,7 @@ pkgname=saw-script-git _pkgname=saw-script -pkgver=cbeb831 +pkgver=6e417757 pkgver() { cd "$_pkgname" git describe --long --tags --always | sed -r 's/([^-]*-g)/r\1/;s/-/./g' @@ -13,7 +13,7 @@ pkgdesc="The SAW scripting language." url="http://saw.galois.com/" arch=('x86_64') license=('noncommercial') -depends=('cvc4' 'libtinfo' 'java-environment' 'ncurses' 'cryptol') +depends=('cvc4' 'java-environment' 'ncurses' 'cryptol' 'z3') makedepends=('cabal-install') optdepends=() conflicts=() @@ -30,7 +30,7 @@ build() { cabal update hash stack || cabal install stack ln -fs stack.ghc-8.0-unix.yaml stack.yaml - ./build-sandbox.sh -p + ./build.sh } package() { |