Date: Wednesday, August 16, 2017 @ 21:36:14 Author: felixonmars Revision: 251552
upgpkg: agda 2.5.3rc-1 GHC 8.2.1 rebuild Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 29 ++++++++++++++--------------- 1 file changed, 14 insertions(+), 15 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-08-16 21:36:10 UTC (rev 251551) +++ PKGBUILD 2017-08-16 21:36:14 UTC (rev 251552) @@ -4,24 +4,26 @@ _hkgname=Agda pkgname=agda -pkgver=2.5.2 -pkgrel=17 +pkgver=2.5.3rc +_commit=5b1ccf82bd469114446c3d7a2b0a45963676cefb +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=('ghc' "alex" "happy" "haskell-boxes" "haskell-cpphs" "haskell-data-hash" - "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" "haskell-equivalence" - "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") +depends=('ghc-libs' "alex" "happy" "haskell-async" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" + "haskell-equivalence" "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable" + "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl" + "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-stm" + "haskell-strict" "haskell-text" "haskell-unordered-containers" "haskell-zlib") optdepends=('agda-stdlib: for standard library') -source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) -sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439') +makedepends=('ghc') +source=("https://github.com/agda/agda/archive/$_commit.tar.gz";) +sha256sums=('62af26999acc9295c3a2966772f85ad166ab961d392c4a742a2db6cf8161d662') prepare() { - sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' ${_hkgname}-${pkgver}/${_hkgname}.cabal + mv agda-$_commit $_hkgname-$pkgver # TODO: Find a better way! # Build it twice to compile the agdai file. @@ -34,9 +36,8 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ - -fcpphs -f-uhc -f-debug + -fcpphs -f-debug -f-enable-cluster-counting LC_CTYPE=en_US.UTF-8 runhaskell Setup build - runhaskell Setup haddock --hoogle --html runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh @@ -58,8 +59,6 @@ install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" - install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries" - ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}" runhaskell Setup copy --destdir="${pkgdir}" install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
