diff options
| author | Brent Carmer | 2017-11-05 14:01:28 -0800 |
|---|---|---|
| committer | Brent Carmer | 2017-11-05 14:01:28 -0800 |
| commit | 75e91d8e9bd757ea691107c76d6ad36cd10c7094 (patch) | |
| tree | 64a3c750cc0b81fb5f8a0baac12176a806c7c861 | |
| parent | 690bcac4c22df3a06b1d1522f86030bcaeeb8f4f (diff) | |
| download | aur-75e91d8e9bd757ea691107c76d6ad36cd10c7094.tar.gz | |
Add z3 dependency
| -rw-r--r-- | .SRCINFO | 5 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 4 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Oct 19 17:11:34 UTC 2017 +# Sun Nov 5 22:01:27 UTC 2017 pkgbase = cryptol-git pkgdesc = A domain-specific language for specifying cryptographic algorithms. - pkgver = 2.5.0.r165.g942173b + pkgver = 2.5.0.r254.g8c6af86 pkgrel = 1 url = http://www.cryptol.net arch = x86_64 @@ -12,6 +12,7 @@ pkgbase = cryptol-git makedepends = ghc makedepends = cabal-install>=1.20.0.0 makedepends = alex + makedepends = z3 depends = cvc4 optdepends = boolector: theorem proving optdepends = mathsat-5: theorem proving @@ -2,7 +2,7 @@ pkgname=cryptol-git _pkgname=cryptol -pkgver=2.5.0.r165.g942173b +pkgver=2.5.0.r254.g8c6af86 pkgver() { cd "$_pkgname" git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' @@ -14,7 +14,7 @@ url="http://www.cryptol.net" arch=('x86_64' 'i686') license=('BSD') depends=('cvc4') -makedepends=('git' 'ghc' 'cabal-install>=1.20.0.0' 'alex') +makedepends=('git' 'ghc' 'cabal-install>=1.20.0.0' 'alex' 'z3') optdepends=('boolector: theorem proving' 'mathsat-5: theorem proving' 'yices-bin: theorem proving') |