subject:"\[arch\-commits\] Commit in agda\/repos \(6 files\)"

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

2017-10-06 Thread Felix Yan

Date: Friday, October 6, 2017 @ 15:55:35
  Author: felixonmars
Revision: 261946

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 261945, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 261945, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 261945, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 261945, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   66 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   66 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 212 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 261945, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-06 15:55:35 UTC (rev 261946)
@@ -0,0 +1,66 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.3
+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=('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;)
+sha512sums=('89cf67d095cb3694a8f266445092620746a04aa866ab3af277f73b304d8c0f54dc7880a6093336f0c4893ee3861fc853bcf7ca48c430f2c8c83b2c24bf6cb97a')
+
+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 
--disable-library-vanilla \
+--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 --disable-library-vanilla --datasubdir="$pkgname"
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+runhaskell Setup copy
+
+LD_PRELOAD=(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=(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"
+
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 261945, agda/trunk/unordered-containers-0.2.6.patch)
===
---

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

2017-09-28 Thread Felix Yan

Date: Thursday, September 28, 2017 @ 14:51:44
  Author: felixonmars
Revision: 260799

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 260798, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 260798, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 260798, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 260798, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   66 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   66 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 212 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 260798, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-28 14:51:44 UTC (rev 260799)
@@ -0,0 +1,66 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.3
+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=('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;)
+sha512sums=('89cf67d095cb3694a8f266445092620746a04aa866ab3af277f73b304d8c0f54dc7880a6093336f0c4893ee3861fc853bcf7ca48c430f2c8c83b2c24bf6cb97a')
+
+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 
--disable-library-vanilla \
+--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 --disable-library-vanilla --datasubdir="$pkgname"
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+runhaskell Setup copy
+
+LD_PRELOAD=(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=(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"
+
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 260798, agda/trunk/unordered-containers-0.2.6.patch)
===
---

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

2017-09-09 Thread Felix Yan

Date: Saturday, September 9, 2017 @ 09:08:20
  Author: felixonmars
Revision: 256631

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 256630, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 256630, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 256630, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 256630, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   69 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-staging-x86_64/PKGBUILD |   69 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 218 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 256630, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-09 09:08:20 UTC (rev 256631)
@@ -0,0 +1,69 @@
+# $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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 256630, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch

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

2017-08-16 Thread Felix Yan

Date: Wednesday, August 16, 2017 @ 21:36:50
  Author: felixonmars
Revision: 251554

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 251553, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 251553, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 251553, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 251553, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   71 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-staging-x86_64/PKGBUILD |   71 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 222 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 251553, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-16 21:36:50 UTC (rev 251554)
@@ -0,0 +1,71 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+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-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')
+makedepends=('ghc')
+source=("https://github.com/agda/agda/archive/$_commit.tar.gz;)
+sha256sums=('62af26999acc9295c3a2966772f85ad166ab961d392c4a742a2db6cf8161d662')
+
+prepare() {
+mv agda-$_commit $_hkgname-$pkgver
+
+# 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-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}/${_hkgname}-${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}/${_hkgname}-${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}/${_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/
+}

Copied: agda/repos/community-staging-i686/unordered-containers-0.2.6.patch 
(from rev 251553, agda/trunk/unordered-containers-0.2.6.patch)
===
---

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

2017-08-05 Thread Felix Yan

Date: Saturday, August 5, 2017 @ 19:30:41
  Author: felixonmars
Revision: 248829

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 248828, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 248828, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 248828, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 248828, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   72 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-staging-x86_64/PKGBUILD |   72 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 224 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 248828, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-05 19:30:41 UTC (rev 248829)
@@ -0,0 +1,72 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=17
+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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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-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
+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
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+
+cd "${srcdir}/${_hkgname}-${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}/${_hkgname}-${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"
+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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+
+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/
+}

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

2017-06-28 Thread Felix Yan

Date: Wednesday, June 28, 2017 @ 09:43:27
  Author: felixonmars
Revision: 241332

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 241331, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 241331, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 241331, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 241331, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   72 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-staging-x86_64/PKGBUILD |   72 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 224 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 241331, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-06-28 09:43:27 UTC (rev 241332)
@@ -0,0 +1,72 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=16
+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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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-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
+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
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+
+cd "${srcdir}/${_hkgname}-${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}/${_hkgname}-${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"
+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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+
+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/
+}

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

2017-06-23 Thread Felix Yan

Date: Friday, June 23, 2017 @ 13:25:26
  Author: felixonmars
Revision: 240367

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 240366, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 240366, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 240366, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 240366, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   72 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-staging-x86_64/PKGBUILD |   72 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 224 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 240366, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-06-23 13:25:26 UTC (rev 240367)
@@ -0,0 +1,72 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=15
+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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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-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
+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
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+
+cd "${srcdir}/${_hkgname}-${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}/${_hkgname}-${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"
+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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+
+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/
+}

Copied:

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

2017-06-22 Thread Felix Yan

Date: Friday, June 23, 2017 @ 04:32:57
  Author: felixonmars
Revision: 239705

archrelease: copy trunk to community-testing-i686, community-testing-x86_64

Added:
  agda/repos/community-testing-i686/
  agda/repos/community-testing-i686/PKGBUILD
(from rev 239704, agda/trunk/PKGBUILD)
  agda/repos/community-testing-i686/unordered-containers-0.2.6.patch
(from rev 239704, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-testing-x86_64/
  agda/repos/community-testing-x86_64/PKGBUILD
(from rev 239704, agda/trunk/PKGBUILD)
  agda/repos/community-testing-x86_64/unordered-containers-0.2.6.patch
(from rev 239704, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-testing-i686/PKGBUILD   |   72 
 community-testing-i686/unordered-containers-0.2.6.patch   |   40 ++
 community-testing-x86_64/PKGBUILD |   72 
 community-testing-x86_64/unordered-containers-0.2.6.patch |   40 ++
 4 files changed, 224 insertions(+)

Copied: agda/repos/community-testing-i686/PKGBUILD (from rev 239704, 
agda/trunk/PKGBUILD)
===
--- community-testing-i686/PKGBUILD (rev 0)
+++ community-testing-i686/PKGBUILD 2017-06-23 04:32:57 UTC (rev 239705)
@@ -0,0 +1,72 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=14
+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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+
+cd "${srcdir}/${_hkgname}-${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}/${_hkgname}-${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"
+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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+
+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/
+}

Copied:

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

2017-05-22 Thread Felix Yan

Date: Monday, May 22, 2017 @ 14:25:00
  Author: felixonmars
Revision: 229115

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 229114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 229114, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 229114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 229114, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 229114, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-05-22 14:25:00 UTC (rev 229115)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=13
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 229114, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-05-22 
14:25:00 UTC (rev 229115)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++--

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

2017-05-16 Thread Felix Yan

Date: Tuesday, May 16, 2017 @ 11:11:33
  Author: felixonmars
Revision: 228216

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 228215, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 228215, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 228215, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 228215, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 228215, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-05-16 11:11:33 UTC (rev 228216)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=12
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 228215, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-05-16 
11:11:33 UTC (rev 228216)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++--

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

2017-04-27 Thread Felix Yan

Date: Thursday, April 27, 2017 @ 15:27:43
  Author: felixonmars
Revision: 226115

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 226114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 226114, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 226114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 226114, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 226114, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-04-27 15:27:43 UTC (rev 226115)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=11
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 226114, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-04-27 
15:27:43 UTC (rev 226115)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.

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

2017-04-09 Thread Felix Yan

Date: Sunday, April 9, 2017 @ 18:02:28
  Author: felixonmars
Revision: 221635

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 221634, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 221634, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 221634, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 221634, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 221634, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-04-09 18:02:28 UTC (rev 221635)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=10
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 221634, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-04-09 
18:02:28 UTC (rev 221635)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++--

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

2017-04-06 Thread Felix Yan

Date: Thursday, April 6, 2017 @ 19:03:01
  Author: felixonmars
Revision: 221115

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 221114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 221114, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 221114, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 221114, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 221114, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-04-06 19:03:01 UTC (rev 221115)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=9
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 221114, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-04-06 
19:03:01 UTC (rev 221115)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.

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

2017-03-28 Thread Felix Yan

Date: Tuesday, March 28, 2017 @ 16:41:36
  Author: felixonmars
Revision: 219739

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 219738, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 219738, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 219738, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 219738, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 219738, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-03-28 16:41:36 UTC (rev 219739)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=8
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 219738, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-03-28 
16:41:36 UTC (rev 219739)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.

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

2017-03-26 Thread Felix Yan

Date: Monday, March 27, 2017 @ 03:58:01
  Author: felixonmars
Revision: 219280

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 219279, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 219279, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 219279, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 219279, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 219279, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-03-27 03:58:01 UTC (rev 219280)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+pkgrel=7
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+prepare() {
+sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' 
${_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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 219279, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-03-27 
03:58:01 UTC (rev 219280)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++--

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

2017-03-20 Thread Felix Yan

Date: Monday, March 20, 2017 @ 16:25:18
  Author: felixonmars
Revision: 217685

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 217684, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 217684, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 217684, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 217684, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   59 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 
 community-staging-x86_64/PKGBUILD |   59 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 
 4 files changed, 198 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 217684, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-03-20 16:25:18 UTC (rev 217685)
@@ -0,0 +1,59 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+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=8.0.1" "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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 217684, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-03-20 
16:25:18 UTC (rev 217685)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@ functions because them currently

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

2017-03-19 Thread Felix Yan

Date: Sunday, March 19, 2017 @ 15:00:49
  Author: felixonmars
Revision: 217245

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 217244, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 217244, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 217244, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 217244, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   59 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 
 community-staging-x86_64/PKGBUILD |   59 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 
 4 files changed, 198 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 217244, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-03-19 15:00:49 UTC (rev 217245)
@@ -0,0 +1,59 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+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=8.0.1" "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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 217244, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-03-19 
15:00:49 UTC (rev 217245)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@ functions because them currently

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

2017-02-11 Thread Felix Yan

Date: Saturday, February 11, 2017 @ 16:30:40
  Author: felixonmars
Revision: 211870

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 211869, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 211869, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 211869, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 211869, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   59 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 
 community-staging-x86_64/PKGBUILD |   59 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 
 4 files changed, 198 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 211869, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-11 16:30:40 UTC (rev 211870)
@@ -0,0 +1,59 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+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=8.0.1" "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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 211869, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-02-11 
16:30:40 UTC (rev 211870)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@ functions because them

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

2017-02-09 Thread Felix Yan

Date: Thursday, February 9, 2017 @ 09:44:36
  Author: felixonmars
Revision: 211432

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 211431, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 211431, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 211431, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 211431, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   59 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 
 community-staging-x86_64/PKGBUILD |   59 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 
 4 files changed, 198 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 211431, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-09 09:44:36 UTC (rev 211432)
@@ -0,0 +1,59 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+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=8.0.1" "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")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 211431, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-02-09 
09:44:36 UTC (rev 211432)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@ functions because them

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

2017-02-08 Thread Felix Yan

Date: Wednesday, February 8, 2017 @ 08:09:56
  Author: felixonmars
Revision: 211153

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 211152, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 211152, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 211152, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 211152, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   59 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 
 community-staging-x86_64/PKGBUILD |   59 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 
 4 files changed, 198 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 211152, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-08 08:09:56 UTC (rev 211153)
@@ -0,0 +1,59 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.2
+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-geniplate-mirror" "haskell-gitrev" "haskell-hashable" 
"haskell-hashtables"
+ "haskell-ieee754" "haskell-monadplus" "haskell-mtl" 
"haskell-murmur-hash"
+ "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" 
"haskell-text"
+ "haskell-transformers-compat" "haskell-unordered-containers" 
"haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+
+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 \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fcpphs -f-uhc -f-debug
+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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 211152, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2017-02-08 
08:09:56 UTC (rev 211153)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@ functions because them

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

2016-07-20 Thread Felix Yan

Date: Wednesday, July 20, 2016 @ 06:35:20
  Author: felixonmars
Revision: 183448

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 183447, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 183447, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 183447, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 183447, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   65 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   65 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 210 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 183447, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-07-20 06:35:20 UTC (rev 183448)
@@ -0,0 +1,65 @@
+# $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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 183447, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2016-07-20 
06:35:20 UTC (rev 183448)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+

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

2016-06-24 Thread Felix Yan

Date: Friday, June 24, 2016 @ 17:42:44
  Author: felixonmars
Revision: 181033

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 181032, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 181032, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 181032, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 181032, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   63 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   63 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 206 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 181032, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-06-24 17:42:44 UTC (rev 181033)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.1.1
+pkgrel=1
+pkgdesc="A dependently typed functional programming language and proof 
assistant"
+url="http://wiki.portal.chalmers.se/agda/;
+license=("custom")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib')
+makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs"
+ "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
+ "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip"
+ "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables"
+ "haskell-monadplus" "haskell-mtl" "haskell-parallel"
+ "haskell-quickcheck" "haskell-src-exts" "haskell-strict"
+ "haskell-text" "haskell-transformers-compat"
+ "haskell-unordered-containers" "haskell-zlib")
+optdepends=('agda-stdlib: for standard library')
+source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0')
+
+prepare() {
+sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' 
$_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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 181032, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2016-06-24 
17:42:44 UTC (rev 181033)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like

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

2016-06-10 Thread Felix Yan

Date: Friday, June 10, 2016 @ 10:35:55
  Author: fyan
Revision: 179126

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 179125, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 179125, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 179125, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 179125, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   63 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   63 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 206 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 179125, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-06-10 08:35:55 UTC (rev 179126)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.1
+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=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=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8')
+
+prepare() {
+sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' 
$_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-staging-i686/unordered-containers-0.2.6.patch 
(from rev 179125, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2016-06-10 
08:35:55 UTC (rev 179126)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like

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

2016-05-25 Thread Felix Yan

Date: Wednesday, May 25, 2016 @ 18:47:55
  Author: fyan
Revision: 177037

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 177036, agda/trunk/PKGBUILD)
  agda/repos/community-staging-i686/unordered-containers-0.2.6.patch
(from rev 177036, agda/trunk/unordered-containers-0.2.6.patch)
  agda/repos/community-staging-x86_64/
  agda/repos/community-staging-x86_64/PKGBUILD
(from rev 177036, agda/trunk/PKGBUILD)
  agda/repos/community-staging-x86_64/unordered-containers-0.2.6.patch
(from rev 177036, agda/trunk/unordered-containers-0.2.6.patch)

---+
 community-staging-i686/PKGBUILD   |   61 
 community-staging-i686/unordered-containers-0.2.6.patch   |   40 +++
 community-staging-x86_64/PKGBUILD |   61 
 community-staging-x86_64/unordered-containers-0.2.6.patch |   40 +++
 4 files changed, 202 insertions(+)

Copied: agda/repos/community-staging-i686/PKGBUILD (from rev 177036, 
agda/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-05-25 16:47:55 UTC (rev 177037)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=Agda
+pkgname=agda
+pkgver=2.5.1
+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=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=('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
+
+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/unordered-containers-0.2.6.patch 
(from rev 177036, agda/trunk/unordered-containers-0.2.6.patch)
===
--- community-staging-i686/unordered-containers-0.2.6.patch 
(rev 0)
+++ community-staging-i686/unordered-containers-0.2.6.patch 2016-05-25 
16:47:55 UTC (rev 177037)
@@ -0,0 +1,40 @@
+diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs
+index 5e1da8b..bd14fac 100644
+--- a/src/full/Agda/Utils/HashMap.hs
 b/src/full/Agda/Utils/HashMap.hs
+@@ -1,29 +1,14 @@
+ module Agda.Utils.HashMap
+   ( module HashMap
+-  , mapMaybe
+-  , alter
+   ) where
+ 
+-import Data.Hashable
+ import Data.HashMap.Strict as HashMap
+-import qualified Data.Maybe as Maybe
+ 
+--- | Like 'Data.Map.Strict.mapMaybe'.
++-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
++-- @alter@

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24 matches

Site Navigation

Mail list logo

Footer information