[arch-commits] Commit in agda/repos (8 files)
Date: Saturday, September 23, 2017 @ 16:11:07 Author: felixonmars Revision: 260089 archrelease: copy trunk to community-i686, community-x86_64 Added: agda/repos/community-i686/PKGBUILD (from rev 260088, agda/trunk/PKGBUILD) agda/repos/community-i686/unordered-containers-0.2.6.patch (from rev 260088, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-x86_64/PKGBUILD (from rev 260088, agda/trunk/PKGBUILD) agda/repos/community-x86_64/unordered-containers-0.2.6.patch (from rev 260088, agda/trunk/unordered-containers-0.2.6.patch) Deleted: agda/repos/community-i686/PKGBUILD agda/repos/community-i686/unordered-containers-0.2.6.patch agda/repos/community-x86_64/PKGBUILD agda/repos/community-x86_64/unordered-containers-0.2.6.patch ---+ /PKGBUILD | 132 /unordered-containers-0.2.6.patch | 80 community-i686/PKGBUILD | 69 -- community-i686/unordered-containers-0.2.6.patch | 40 -- community-x86_64/PKGBUILD | 69 -- community-x86_64/unordered-containers-0.2.6.patch | 40 -- 6 files changed, 212 insertions(+), 218 deletions(-) Deleted: community-i686/PKGBUILD === --- community-i686/PKGBUILD 2017-09-23 16:10:29 UTC (rev 260088) +++ community-i686/PKGBUILD 2017-09-23 16:11:07 UTC (rev 260089) @@ -1,69 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -_hkgname=Agda -pkgname=agda -pkgver=2.5.3 -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-libs' "alex" "happy" "haskell-async" "haskell-blaze-html" "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-uri-encode" - "haskell-zlib") -optdepends=('agda-stdlib: for standard library') -makedepends=('ghc') -source=("https://github.com/agda/agda/archive/v$pkgver.tar.gz";) -sha256sums=('0a86e5a61ae664abad138b70f5f0d69c8bda3c59c2ea0e78bc187a748b66') - -prepare() { -# TODO: Find a better way! -# Build it twice to compile the agdai file. -cp -a ${pkgname}-${pkgver}{,-tmp} -} - -build() { -cd "${srcdir}/${pkgname}-${pkgver}" - -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-debug -f-enable-cluster-counting -LC_CTYPE=en_US.UTF-8 runhaskell Setup build -runhaskell Setup register --gen-script -runhaskell Setup unregister --gen-script -sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh -sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh - -cd "${srcdir}/${pkgname}-${pkgver}-tmp" -runhaskell Setup configure --prefix="$PWD/target" --enable-executable-dynamic --datasubdir="$pkgname" -LC_CTYPE=en_US.UTF-8 runhaskell Setup build -runhaskell Setup copy - -LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda target/share/agda/lib/prim/Agda/Primitive.agda -for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do -LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda "$_file" -done -} - -package() { -cd "${srcdir}/${pkgname}-${pkgver}" - -install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" -install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" -runhaskell Setup copy --destdir="${pkgdir}" -install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" -rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" - -# Remove static libs -find "$pkgdir"/usr/lib -name "*.a" -delete - -install -m644 "${srcdir}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai -install -m644 "${srcdir}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ -} Copied: agda/repos/community-i686/PKGBUILD (from rev 260088, agda/trunk/PKGBUILD) === --- community-i686/PKGBUILD
[arch-commits] Commit in agda/repos (8 files)
Date: Wednesday, January 11, 2017 @ 09:19:11 Author: felixonmars Revision: 206788 archrelease: copy trunk to community-i686, community-x86_64 Added: agda/repos/community-i686/PKGBUILD (from rev 206787, agda/trunk/PKGBUILD) agda/repos/community-i686/unordered-containers-0.2.6.patch (from rev 206787, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-x86_64/PKGBUILD (from rev 206787, agda/trunk/PKGBUILD) agda/repos/community-x86_64/unordered-containers-0.2.6.patch (from rev 206787, agda/trunk/unordered-containers-0.2.6.patch) Deleted: agda/repos/community-i686/PKGBUILD agda/repos/community-i686/unordered-containers-0.2.6.patch agda/repos/community-x86_64/PKGBUILD agda/repos/community-x86_64/unordered-containers-0.2.6.patch ---+ /PKGBUILD | 120 /unordered-containers-0.2.6.patch | 80 + community-i686/PKGBUILD | 65 -- community-i686/unordered-containers-0.2.6.patch | 40 -- community-x86_64/PKGBUILD | 65 -- community-x86_64/unordered-containers-0.2.6.patch | 40 -- 6 files changed, 200 insertions(+), 210 deletions(-) Deleted: community-i686/PKGBUILD === --- community-i686/PKGBUILD 2017-01-11 09:18:41 UTC (rev 206787) +++ community-i686/PKGBUILD 2017-01-11 09:19:11 UTC (rev 206788) @@ -1,65 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -_hkgname=Agda -pkgname=agda -pkgver=2.5.1.1 -pkgrel=2 -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") -optdepends=('agda-stdlib: for standard library') -source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) -sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0') - -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} -} - -build() { -cd "${srcdir}/${_hkgname}-${pkgver}" - -runhaskell Setup configure -O --enable-library-profiling --enable-shared \ ---prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ ---libsubdir=\$compiler/site-local/\$pkgid \ --fcpphs -f-uhc -LC_CTYPE=en_US.UTF-8 runhaskell Setup build - -cd "${srcdir}/${_hkgname}-${pkgver}-tmp" -runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" -LC_CTYPE=en_US.UTF-8 runhaskell Setup build -runhaskell Setup copy - -target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda -for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do -target/bin/agda "$_file" -done -} - -package() { -cd "${srcdir}/${_hkgname}-${pkgver}" -runhaskell Setup copy --destdir="${pkgdir}" - -install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai -install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ - -rm -r "$pkgdir"/usr/{lib,share/doc} -install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" -} Copied: agda/repos/community-i686/PKGBUILD (from rev 206787, agda/trunk/PKGBUILD) === --- community-i686/PKGBUILD (rev 0) +++ community-i686/PKGBUILD 2017-01-11 09:19:11 UTC (rev 206788) @@ -0,0 +1,60 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +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" "
[arch-commits] Commit in agda/repos (8 files)
Date: Wednesday, May 4, 2016 @ 18:07:43 Author: fyan Revision: 173743 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 173742, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 173742, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 173742, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 173742, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 173742, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 173742, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 66 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 +++ community-staging-x86_64/PKGBUILD | 66 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 +++ 6 files changed, 248 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 173742, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-05-04 16:07:43 UTC (rev 173743) @@ -0,0 +1,66 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.5.1 +pkgrel=4 +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=7.10.3" "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") +optdepends=('agda-stdlib: for standard library') +options=('staticlibs') +source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) +sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8') + +prepare() { +# TODO: Find a better way! +# Build it twice to compile the agdai file. +cp -a ${_hkgname}-${pkgver}{,-tmp} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy + +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do +target/bin/agda "$_file" +done +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 173742, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ community-staging-i686/haskell-agda.install 2016-05-04 16:07:43 UTC (rev 173743) @@ -0,0 +1,18 @@ +HS_DIR=usr/
[arch-commits] Commit in agda/repos (8 files)
Date: Saturday, April 30, 2016 @ 03:47:03 Author: fyan Revision: 172848 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 172847, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 172847, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 172847, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 172847, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 172847, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 172847, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 66 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 +++ community-staging-x86_64/PKGBUILD | 66 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 +++ 6 files changed, 248 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 172847, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-04-30 01:47:03 UTC (rev 172848) @@ -0,0 +1,66 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.5.1 +pkgrel=3 +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=7.10.3" "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") +optdepends=('agda-stdlib: for standard library') +options=('staticlibs') +source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) +sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8') + +prepare() { +# TODO: Find a better way! +# Build it twice to compile the agdai file. +cp -a ${_hkgname}-${pkgver}{,-tmp} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy + +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do +target/bin/agda "$_file" +done +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 172847, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ community-staging-i686/haskell-agda.install 2016-04-30 01:47:03 UTC (rev 172848) @@ -0,0 +1,18 @@ +HS_DIR=us
[arch-commits] Commit in agda/repos (8 files)
Date: Thursday, April 14, 2016 @ 12:43:05 Author: fyan Revision: 170964 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 170963, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 170963, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 170963, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 170963, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 170963, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 170963, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 70 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 ++ community-staging-x86_64/PKGBUILD | 70 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 ++ 6 files changed, 256 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 170963, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-04-14 10:43:05 UTC (rev 170964) @@ -0,0 +1,70 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +pkgrel=6 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 170963, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ comm
[arch-commits] Commit in agda/repos (8 files)
Date: Friday, March 18, 2016 @ 10:47:00 Author: fyan Revision: 167375 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 167374, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 167374, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 167374, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 167374, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 167374, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 167374, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 70 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 ++ community-staging-x86_64/PKGBUILD | 70 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 ++ 6 files changed, 256 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 167374, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-03-18 09:47:00 UTC (rev 167375) @@ -0,0 +1,70 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +pkgrel=5 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 167374, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ commun
[arch-commits] Commit in agda/repos (8 files)
Date: Saturday, March 5, 2016 @ 11:31:06 Author: fyan Revision: 165129 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 165128, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 165128, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 165128, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 165128, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 165128, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 165128, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 70 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 ++ community-staging-x86_64/PKGBUILD | 70 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 ++ 6 files changed, 256 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 165128, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-03-05 10:31:06 UTC (rev 165129) @@ -0,0 +1,70 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +pkgrel=4 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 165128, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ commu
[arch-commits] Commit in agda/repos (8 files)
Date: Saturday, March 5, 2016 @ 05:05:03 Author: fyan Revision: 164885 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 164884, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 164884, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 164884, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 164884, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 164884, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 164884, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 69 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 ++ community-staging-x86_64/PKGBUILD | 69 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 ++ 6 files changed, 254 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 164884, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-03-05 04:05:03 UTC (rev 164885) @@ -0,0 +1,69 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +pkgrel=3 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +prepare() { +sed -i 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ +${_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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 164884, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ community-staging-i686/haskell-agda.install 2016-03-05 04:05:03 UTC (rev 164
[arch-commits] Commit in agda/repos (8 files)
Date: Thursday, February 18, 2016 @ 08:35:51 Author: fyan Revision: 162209 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: agda/repos/community-staging-i686/ agda/repos/community-staging-i686/PKGBUILD (from rev 162208, agda/trunk/PKGBUILD) agda/repos/community-staging-i686/haskell-agda.install (from rev 162208, agda/trunk/haskell-agda.install) agda/repos/community-staging-i686/unordered-containers-0.2.6.patch (from rev 162208, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 162208, agda/trunk/PKGBUILD) agda/repos/community-staging-x86_64/haskell-agda.install (from rev 162208, agda/trunk/haskell-agda.install) agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch (from rev 162208, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-staging-i686/PKGBUILD | 69 community-staging-i686/haskell-agda.install | 18 +++ community-staging-i686/unordered-containers-0.2.6.patch | 40 ++ community-staging-x86_64/PKGBUILD | 69 community-staging-x86_64/haskell-agda.install | 18 +++ community-staging-x86_64/unordered-containers-0.2.6.patch | 40 ++ 6 files changed, 254 insertions(+) Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 162208, agda/trunk/PKGBUILD) === --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2016-02-18 07:35:51 UTC (rev 162209) @@ -0,0 +1,69 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +pkgrel=2 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +prepare() { +sed -i 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ +${_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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-staging-i686/haskell-agda.install (from rev 162208, agda/trunk/haskell-agda.install) === --- community-staging-i686/haskell-agda.install (rev 0) +++ community-staging-i686/haskell-agda.install 2016-02-18 07:35:51 UTC (rev
[arch-commits] Commit in agda/repos (8 files)
Date: Thursday, January 21, 2016 @ 15:48:06 Author: fyan Revision: 158426 archrelease: copy trunk to community-i686, community-x86_64 Added: agda/repos/community-i686/ agda/repos/community-i686/PKGBUILD (from rev 158425, agda/trunk/PKGBUILD) agda/repos/community-i686/haskell-agda.install (from rev 158425, agda/trunk/haskell-agda.install) agda/repos/community-i686/unordered-containers-0.2.6.patch (from rev 158425, agda/trunk/unordered-containers-0.2.6.patch) agda/repos/community-x86_64/ agda/repos/community-x86_64/PKGBUILD (from rev 158425, agda/trunk/PKGBUILD) agda/repos/community-x86_64/haskell-agda.install (from rev 158425, agda/trunk/haskell-agda.install) agda/repos/community-x86_64/unordered-containers-0.2.6.patch (from rev 158425, agda/trunk/unordered-containers-0.2.6.patch) ---+ community-i686/PKGBUILD | 69 community-i686/haskell-agda.install | 18 + community-i686/unordered-containers-0.2.6.patch | 40 +++ community-x86_64/PKGBUILD | 69 community-x86_64/haskell-agda.install | 18 + community-x86_64/unordered-containers-0.2.6.patch | 40 +++ 6 files changed, 254 insertions(+) Copied: agda/repos/community-i686/PKGBUILD (from rev 158425, agda/trunk/PKGBUILD) === --- community-i686/PKGBUILD (rev 0) +++ community-i686/PKGBUILD 2016-01-21 14:48:06 UTC (rev 158426) @@ -0,0 +1,69 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +_hkgname=Agda +pkgname=agda +pkgver=2.4.2.5 +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=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs" + "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence" + "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables" + "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck" + "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') + +prepare() { +sed -i 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \ +${_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} +} + +build() { +cd "${srcdir}/${_hkgname}-${pkgver}" + +runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ +--libsubdir=\$compiler/site-local/\$pkgid \ +-fcpphs +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 +runhaskell Setup unregister --gen-script +sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh + +cd "${srcdir}/${_hkgname}-${pkgver}-tmp" +runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname" +LC_CTYPE=en_US.UTF-8 runhaskell Setup build +runhaskell Setup copy +target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda +} + +package() { +cd "${srcdir}/${_hkgname}-${pkgver}" +runhaskell Setup copy --destdir="${pkgdir}" + +install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + +rm -r "$pkgdir"/usr/{lib,share/doc} +install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} Copied: agda/repos/community-i686/haskell-agda.install (from rev 158425, agda/trunk/haskell-agda.install) === --- community-i686/haskell-agda.install (rev 0) +++ community-i686/haskell-agda.install 2016-01-21 14:48:06 UTC (rev 158426) @@ -0,0 +1,18 @@ +HS_DIR=usr/share/haskell/haskell-agda +post_install() { + ${HS_DIR}/register.sh + (cd usr/share/doc/ghc/html/libraries; ./gen_c