diff options
author | Brent Carmer | 2016-11-09 11:22:23 -0800 |
---|---|---|
committer | Brent Carmer | 2016-11-09 11:22:23 -0800 |
commit | 83b45230a7800879945a23d15155facd4f0f78c2 (patch) | |
tree | 1fff089c32561263d07e7b6cb1ca8dbcab36a817 | |
parent | b13c7bec2a7e889e0aa6f1617e2bb3352e4676f9 (diff) | |
download | aur-83b45230a7800879945a23d15155facd4f0f78c2.tar.gz |
Update build
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 25 |
2 files changed, 16 insertions, 15 deletions
@@ -1,7 +1,9 @@ +# Generated by mksrcinfo v8 +# Wed Nov 9 19:22:21 UTC 2016 pkgbase = cryptol-git pkgdesc = A domain-specific language for specifying cryptographic algorithms. - pkgver = v2.2.4.r456.g9f3d423 - pkgrel = 2 + pkgver = 2.4.0.r122.g5b502ec + pkgrel = 1 url = http://www.cryptol.net arch = x86_64 arch = i686 @@ -2,13 +2,13 @@ pkgname=cryptol-git _pkgname=cryptol -pkgver=v2.2.4.r456.g9f3d423 +pkgver=2.4.0.r122.g5b502ec pkgver() { - cd "$_pkgname" - git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' - } + cd "$_pkgname" + git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' +} -pkgrel=2 +pkgrel=1 pkgdesc="A domain-specific language for specifying cryptographic algorithms." url="http://www.cryptol.net" arch=('x86_64' 'i686') @@ -34,12 +34,11 @@ build() { } package() { - 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 dist/build/cryptol/cryptol "$pkgdir/usr/bin" - cp lib/* "$pkgdir/usr/share/cryptol" - cp LICENSE "$pkgdir/usr/share/licenses/$_pkgname/" + cd $srcdir/$_pkgname + mkdir -p $pkgdir/usr/bin + mkdir -p $pkgdir/usr/share/cryptol + mkdir -p $pkgdir/usr/share/licenses/$_pkgname/ + cp dist/build/cryptol/cryptol $pkgdir/usr/bin + cp -r lib/* $pkgdir/usr/share/cryptol + cp LICENSE $pkgdir/usr/share/licenses/$_pkgname/ } |