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 /PKGBUILD | |
parent | 75e91d8e9bd757ea691107c76d6ad36cd10c7094 (diff) | |
download | aur-cryptol-git.tar.gz |
fix build process
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 16 |
1 files changed, 7 insertions, 9 deletions
@@ -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/ } |