update (hopefully solves linker issues)

2 files changed, 5 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c07dcc17ae56..594ab3115846 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Wed Nov  9 19:22:21 UTC 2016
+# Thu Oct 19 17:11:34 UTC 2017
 pkgbase = cryptol-git
 	pkgdesc = A domain-specific language for specifying cryptographic algorithms.
-	pkgver = 2.4.0.r122.g5b502ec
+	pkgver = 2.5.0.r165.g942173b
 	pkgrel = 1
 	url = http://www.cryptol.net
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index a06967369826..5505f280c527 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 pkgname=cryptol-git
 _pkgname=cryptol
 
-pkgver=2.4.0.r122.g5b502ec
+pkgver=2.5.0.r165.g942173b
 pkgver() {
     cd "$_pkgname"
     git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
@@ -31,6 +31,7 @@ build() {
     cd $srcdir/${_pkgname}
     cabal update
     make
+    cabal install
 }
 
 package() {
@@ -38,7 +39,7 @@ package() {
     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 .cabal-sandbox/bin/cryptol $pkgdir/usr/bin
     cp -r lib/* $pkgdir/usr/share/cryptol
     cp LICENSE $pkgdir/usr/share/licenses/$_pkgname/
 }