Date: Sunday, April 17, 2016 @ 06:40:20 Author: fyan Revision: 171230
upgpkg: agda 2.5.1-1 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 29 ++++++++++------------------- 1 file changed, 10 insertions(+), 19 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-04-17 03:16:19 UTC (rev 171229) +++ PKGBUILD 2016-04-17 04:40:20 UTC (rev 171230) @@ -4,8 +4,8 @@ _hkgname=Agda pkgname=agda -pkgver=2.4.2.5 -pkgrel=6 +pkgver=2.5.1 +pkgrel=1 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -12,28 +12,19 @@ arch=('i686' 'x86_64') depends=('gmp' 'libffi' 'zlib') makedepends=("ghc=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" - "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore" + "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip" "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" - "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" - "haskell-strict" "haskell-text" "haskell-transformers-compat" + "haskell-monadplus" "haskell-mtl" "haskell-parallel" + "haskell-quickcheck" "haskell-src-exts" "haskell-strict" + "haskell-text" "haskell-transformers-compat" "haskell-unordered-containers" "haskell-zlib") optdepends=('agda-stdlib: for standard library') options=('staticlibs') -source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz"; - unordered-containers-0.2.6.patch) -sha256sums=('959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee' - '51e2d2160861ec6b8bd879f85cbbd00f9ed7a564b307870992370457e307f3ac') +source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) +sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8') prepare() { - sed -e 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ - -e 's/cpphs >= 1.19 && < 1.20/cpphs >= 1.19 \&\& < 1.21/' \ - -i ${_hkgname}-${pkgver}/${_hkgname}.cabal - - cd ${_hkgname}-${pkgver} - # https://github.com/agda/agda/issues/1779 - patch -p1 -i ../unordered-containers-0.2.6.patch - - cd .. # TODO: Find a better way! # Build it twice to compile the agdai file. cp -a ${_hkgname}-${pkgver}{,-tmp} @@ -45,7 +36,7 @@ runhaskell Setup configure -O --enable-library-profiling --enable-shared \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ --libsubdir=\$compiler/site-local/\$pkgid \ - -fcpphs + -fcpphs -f-uhc LC_CTYPE=en_US.UTF-8 runhaskell Setup build LC_CTYPE=en_US.UTF-8 runhaskell Setup haddock --hoogle --html runhaskell Setup register --gen-script
