[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

[Felix Yan]

    Date: Sunday, October 15, 2017 @ 09:21:41
  Author: felixonmars
Revision: 262896

upgpkg: agda-stdlib 0.14-1

Modified:
  agda-stdlib/trunk/PKGBUILD

----------+
 PKGBUILD |   24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-10-15 09:05:19 UTC (rev 262895)
+++ PKGBUILD	2017-10-15 09:21:41 UTC (rev 262896)
@@ -3,22 +3,22 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=agda-stdlib
-pkgver=0.13
+pkgver=0.14
 pkgrel=1
 pkgdesc="Agda standard libraries"
 url="https://github.com/agda/agda-stdlib"
 license=("MIT")
 arch=('i686' 'x86_64')
-depends=("agda")
-makedepends=("ghc" "git" "haskell-filemanip")
+depends=('agda')
+makedepends=('ghc' 'haskell-filemanip')
 options=('staticlibs')
-source=("git+https://github.com/agda/agda-stdlib.git#tag=v$pkgver")
-sha256sums=('SKIP')
+source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz")
+sha512sums=('fcb785110c72fa8d298346150827766bdcb308502a4b915b56b6bb43aff9b5f93fd23932e08a78d97ec723ad0f2ea49c7f132b3b8cc8a535f9cde49387c95c51')
 
 build() {
-    cd "${srcdir}/${pkgname}"
-    
-    runhaskell Setup configure
+    cd $pkgname-$pkgver
+
+    runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanill
     runhaskell Setup build
 
     dist/build/GenerateEverything/GenerateEverything
@@ -28,8 +28,8 @@
 }
 
 package() {
-    cd "${srcdir}/${pkgname}"
-    install -dm755 "$pkgdir/usr/share/agda/lib/prim"
-    cp -pr Everything.agda* src/* "$pkgdir/usr/share/agda/lib/prim"
-    install -D -m644 "LICENCE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENCE"
+    cd $pkgname-$pkgver
+    install -dm755 "$pkgdir"/usr/share/agda/lib/prim
+    cp -pr Everything.agda* src/* "$pkgdir"/usr/share/agda/lib/prim
+    install -D -m644 LICENCE "$pkgdir"/usr/share/licenses/$pkgname/LICENCE
 }