[arch-commits] Commit in agda/repos (8 files)

2017-09-23 Thread Felix Yan 
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)

[arch-commits] Commit in agda/repos (8 files)

2017-01-11 Thread Felix Yan 
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/;

[arch-commits] Commit in agda/repos (8 files)

2016-05-04 Thread Felix Yan 
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

[arch-commits] Commit in agda/repos (8 files)

2016-04-29 Thread Felix Yan 
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

[arch-commits] Commit in agda/repos (8 files)

2016-04-14 Thread Felix Yan 
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)
===
---

[arch-commits] Commit in agda/repos (8 files)

2016-03-19 Thread Felix Yan 
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)
===
---

[arch-commits] Commit in agda/repos (8 files)

2016-03-05 Thread Felix Yan 
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)
===
---

[arch-commits] Commit in agda/repos (8 files)

2016-03-04 Thread Felix Yan 
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)
+++

[arch-commits] Commit in agda/repos (8 files)

2016-02-17 Thread Felix Yan 
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)
+++

[arch-commits] Commit in agda/repos (8 files)

2016-01-21 Thread Felix Yan 
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() {
+