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

Felix Yan felixonmars at archlinux.org
Wed Jan 11 09:18:41 UTC 2017


    Date: Wednesday, January 11, 2017 @ 09:18:41
  Author: felixonmars
Revision: 206787

upgpkg: agda 2.5.2-1

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-01-11 09:13:45 UTC (rev 206786)
+++ PKGBUILD	2017-01-11 09:18:41 UTC (rev 206787)
@@ -4,30 +4,25 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.1.1
-pkgrel=2
+pkgver=2.5.2
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
 arch=('i686' 'x86_64')
 depends=('gmp' 'libffi' 'zlib')
-makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs"
-             "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
-             "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip"
-             "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables"
-             "haskell-monadplus" "haskell-mtl" "haskell-parallel"
-             "haskell-quickcheck" "haskell-src-exts" "haskell-strict"
-             "haskell-text" "haskell-transformers-compat"
-             "haskell-unordered-containers" "haskell-zlib")
+makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs" "haskell-data-hash"
+             "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" "haskell-equivalence"
+             "haskell-filepath" "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable"
+             "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl"
+             "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-strict"
+             "haskell-text" "haskell-transformers-compat" "haskell-unordered-containers"
+             "haskell-zlib")
 optdepends=('agda-stdlib: for standard library')
 source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0')
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
 
 prepare() {
-    sed -e 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' \
-        -e 's/, QuickCheck >= 2.8.2 && < 2.9/, QuickCheck >= 2.8.2 \&\& < 2.10/' \
-        -i $_hkgname-$pkgver/$_hkgname.cabal
-
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.
     cp -a ${_hkgname}-${pkgver}{,-tmp}
@@ -36,10 +31,10 @@
 build() {
     cd "${srcdir}/${_hkgname}-${pkgver}"
     
-    runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+    runhaskell Setup configure -O \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --libsubdir=\$compiler/site-local/\$pkgid \
-            -fcpphs -f-uhc
+            -fcpphs -f-uhc -f-debug
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
 
     cd "${srcdir}/${_hkgname}-${pkgver}-tmp"



More information about the arch-commits mailing list