diff options
| author | Alex J. Malozemoff | 2018-11-14 09:26:35 -0800 |
|---|---|---|
| committer | Alex J. Malozemoff | 2018-11-14 09:26:35 -0800 |
| commit | cdd957c71acff91e5630727eaada145e68a88def (patch) | |
| tree | 032ff06db6030886a36d575450e868b521a161f1 | |
| parent | 75e91d8e9bd757ea691107c76d6ad36cd10c7094 (diff) | |
| download | aur-cryptol-git.tar.gz | |
fix build process
| -rw-r--r-- | .SRCINFO | 13 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
3 files changed, 15 insertions, 18 deletions
@@ -1,22 +1,17 @@ -# Generated by mksrcinfo v8 -# Sun Nov 5 22:01:27 UTC 2017 pkgbase = cryptol-git pkgdesc = A domain-specific language for specifying cryptographic algorithms. - pkgver = 2.5.0.r254.g8c6af86 + pkgver = 2.6.0.r31.g2e4adcc pkgrel = 1 url = http://www.cryptol.net arch = x86_64 arch = i686 license = BSD makedepends = git - makedepends = ghc - makedepends = cabal-install>=1.20.0.0 - makedepends = alex - makedepends = z3 - depends = cvc4 + makedepends = cabal-install + depends = z3 optdepends = boolector: theorem proving optdepends = mathsat-5: theorem proving - optdepends = yices-bin: theorem proving + optdepends = yices: theorem proving provides = cryptol conflicts = cryptol source = git://github.com/GaloisInc/cryptol.git diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..65428cfb3b99 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.tar.xz +cryptol/ +pkg/ +src/
\ No newline at end of file @@ -2,7 +2,7 @@ pkgname=cryptol-git _pkgname=cryptol -pkgver=2.5.0.r254.g8c6af86 +pkgver=2.6.0.r31.g2e4adcc pkgver() { cd "$_pkgname" git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' @@ -13,11 +13,11 @@ pkgdesc="A domain-specific language for specifying cryptographic algorithms." url="http://www.cryptol.net" arch=('x86_64' 'i686') license=('BSD') -depends=('cvc4') -makedepends=('git' 'ghc' 'cabal-install>=1.20.0.0' 'alex' 'z3') +depends=('z3') +makedepends=('git' 'cabal-install') optdepends=('boolector: theorem proving' 'mathsat-5: theorem proving' - 'yices-bin: theorem proving') + 'yices: theorem proving') conflicts=() replaces=() backup=() @@ -29,17 +29,15 @@ source=("git://github.com/GaloisInc/cryptol.git") build() { cd $srcdir/${_pkgname} - cabal update + cabal new-update make - cabal install } package() { - cd $srcdir/$_pkgname + cd $srcdir/$_pkgname mkdir -p $pkgdir/usr/bin mkdir -p $pkgdir/usr/share/cryptol mkdir -p $pkgdir/usr/share/licenses/$_pkgname/ - cp .cabal-sandbox/bin/cryptol $pkgdir/usr/bin - cp -r lib/* $pkgdir/usr/share/cryptol + cp dist/build/cryptol/cryptol $pkgdir/usr/bin cp LICENSE $pkgdir/usr/share/licenses/$_pkgname/ } |