[arch-commits] Commit in idris/repos (6 files)
Date: Monday, August 14, 2017 @ 09:58:38
Author: felixonmars
Revision: 250262
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 250261, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 250261, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 250261, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 250261, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 65 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 65 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 202 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 250261,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-14 09:58:38 UTC (rev 250262)
@@ -0,0 +1,65 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=12
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -e 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/' \
+-e 's/, aeson >= 0.6 && < 1.2/, aeson >= 0.6 \&\& < 1.3/' \
+-i idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
250261, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-14 09:58:38 UTC
(rev 250262)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce78
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, August 11, 2017 @ 18:58:32
Author: felixonmars
Revision: 249883
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 249882, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 249882, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 249882, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 249882, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 63 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 63 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 198 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 249882,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-11 18:58:32 UTC (rev 249883)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=11
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/'
idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
249882, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-11 18:58:32 UTC
(rev 249883)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +08
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, August 10, 2017 @ 20:28:02
Author: felixonmars
Revision: 249789
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 249788, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 249788, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 249788, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 249788, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 63 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 63 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 198 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 249788,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-10 20:28:02 UTC (rev 249789)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=10
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/'
idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
249788, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-10 20:28:02 UTC
(rev 249789)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, August 7, 2017 @ 09:34:19
Author: felixonmars
Revision: 249343
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 249342, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 249342, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 249342, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 249342, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 63 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 63 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 198 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 249342,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-07 09:34:19 UTC (rev 249343)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=9
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/'
idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
249342, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-07 09:34:19 UTC
(rev 249343)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
[arch-commits] Commit in idris/repos (6 files)
Date: Sunday, August 6, 2017 @ 22:07:57
Author: felixonmars
Revision: 249159
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 249158, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 249158, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 249158, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 249158, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 63 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 63 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 198 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 249158,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-06 22:07:57 UTC (rev 249159)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=8
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/'
idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
249158, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-06 22:07:57 UTC
(rev 249159)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
[arch-commits] Commit in idris/repos (6 files)
Date: Sunday, August 6, 2017 @ 07:45:49
Author: felixonmars
Revision: 248906
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 248905, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 248905, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 248905, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 248905, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 63 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 63 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 198 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 248905,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-06 07:45:49 UTC (rev 248906)
@@ -0,0 +1,63 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=7
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/'
idris.cabal
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
248905, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-06 07:45:49 UTC
(rev 248906)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
[arch-commits] Commit in idris/repos (6 files)
Date: Saturday, August 5, 2017 @ 14:57:57
Author: felixonmars
Revision: 248698
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 248697, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 248697, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 248697, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 248697, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 61 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 61 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 194 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 248697,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-05 14:57:57 UTC (rev 248698)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=6
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
248697, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-05 14:57:57 UTC
(rev 248698)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
+
+Fix compatibility with cheapskate-0.1.1
+
+Only define instances for o
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, August 4, 2017 @ 12:28:29
Author: felixonmars
Revision: 248317
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 248316, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 248316, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 248316, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 248316, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 61 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 61 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 194 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 248316,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-04 12:28:29 UTC (rev 248317)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=5
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
248316, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-04 12:28:29 UTC
(rev 248317)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
+
+Fix compatibility with cheapskate-0.1.1
+
+Only define instances for old
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, August 4, 2017 @ 06:12:42
Author: felixonmars
Revision: 248068
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 248067, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 248067, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 248067, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 248067, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 61 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 61 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 194 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 248067,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-04 06:12:42 UTC (rev 248068)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=4
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
248067, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-04 06:12:42 UTC
(rev 248068)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
+
+Fix compatibility with cheapskate-0.1.1
+
+Only define instances for old
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, August 3, 2017 @ 13:54:10
Author: felixonmars
Revision: 247769
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 247768, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/cheapskate-0.1.1.patch
(from rev 247768, idris/trunk/cheapskate-0.1.1.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 247768, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/cheapskate-0.1.1.patch
(from rev 247768, idris/trunk/cheapskate-0.1.1.patch)
-+
community-staging-i686/PKGBUILD | 61 ++
community-staging-i686/cheapskate-0.1.1.patch | 36
community-staging-x86_64/PKGBUILD | 61 ++
community-staging-x86_64/cheapskate-0.1.1.patch | 36
4 files changed, 194 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 247768,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-03 13:54:10 UTC (rev 247769)
@@ -0,0 +1,61 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=1.1.0
+pkgrel=3
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc' "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring"
"haskell-blaze-html"
+ "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi"
"haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa"
"haskell-safe"
+ "haskell-split" "haskell-terminal-size" "haskell-text"
"haskell-transformers-compat"
+ "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
"haskell-utf8-string"
+ "haskell-vector" "haskell-vector-binary-instances"
"haskell-zip-archive")
+source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
+cheapskate-0.1.1.patch)
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44'
+
'bbde8342befd769657e5b1e19e52abd190d18c4512bec26a8431090d9e9bb97b59c4395ad89fa54990332c34b2933aee0643e46f3b37a1f747d2e12c30e549a0')
+
+prepare() {
+cd Idris-dev-$pkgver
+patch -p1 -i ../cheapskate-0.1.1.patch
+
+sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+libs/*/Makefile
+}
+
+build() {
+cd "$srcdir"/Idris-dev-$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 \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+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
+}
+
+package() {
+cd "$srcdir"/Idris-dev-$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/${pkgname}"
+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
+}
Copied: idris/repos/community-staging-i686/cheapskate-0.1.1.patch (from rev
247768, idris/trunk/cheapskate-0.1.1.patch)
===
--- community-staging-i686/cheapskate-0.1.1.patch
(rev 0)
+++ community-staging-i686/cheapskate-0.1.1.patch 2017-08-03 13:54:10 UTC
(rev 247769)
@@ -0,0 +1,36 @@
+commit eb932ec422ecbe9ce7835b5143a40c0be882ccb7
+Author: Felix Yan
+Date: Thu Aug 3 21:17:39 2017 +0800
+
+Fix compatibility with cheapskate-0.1.1
+
+Only define instances for o
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, March 9, 2017 @ 07:50:20
Author: felixonmars
Revision: 215365
archrelease: copy trunk to community-i686, community-x86_64
Added:
idris/repos/community-i686/PKGBUILD
(from rev 215364, idris/trunk/PKGBUILD)
idris/repos/community-x86_64/PKGBUILD
(from rev 215364, idris/trunk/PKGBUILD)
Deleted:
idris/repos/community-i686/PKGBUILD
idris/repos/community-i686/datadir.patch
idris/repos/community-x86_64/PKGBUILD
idris/repos/community-x86_64/datadir.patch
+
/PKGBUILD | 86 +++
community-i686/PKGBUILD| 49 --
community-i686/datadir.patch | 84 --
community-x86_64/PKGBUILD | 49 --
community-x86_64/datadir.patch | 84 --
5 files changed, 86 insertions(+), 266 deletions(-)
Deleted: community-i686/PKGBUILD
===
--- community-i686/PKGBUILD 2017-03-09 07:49:38 UTC (rev 215364)
+++ community-i686/PKGBUILD 2017-03-09 07:50:20 UTC (rev 215365)
@@ -1,49 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan
-# Contributor: Arch Haskell Team
-
-pkgname=idris
-pkgver=0.99
-pkgrel=30
-pkgdesc="Functional Programming Language with Dependent Types"
-url="http://www.idris-lang.org/";
-license=("custom:BSD3")
-arch=('i686' 'x86_64')
-depends=('gmp' 'libffi' 'zlib' 'gcc')
-makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
- "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
- "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
- "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
- "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
- "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
- "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
- "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
- "haskell-vector-binary-instances" "haskell-zip-archive")
-source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
-datadir.patch)
-sha256sums=('SKIP'
-'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
-
-prepare() {
-sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
-
-cd Idris-dev
-# https://github.com/idris-lang/Idris-dev/issues/3544
-patch -p1 -i ../datadir.patch
-}
-
-build() {
-cd "${srcdir}/Idris-dev"
-
-runhaskell Setup configure -O --enable-library-profiling --enable-shared \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
---libsubdir=\$compiler/site-local/\$pkgid \
--fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
-LC_CTYPE=en_US.UTF-8 runhaskell Setup build
-}
-
-package() {
-cd "${srcdir}/Idris-dev"
-runhaskell Setup copy --destdir="${pkgdir}"
-rm -r "$pkgdir"/usr/{lib,share/doc}
-}
Copied: idris/repos/community-i686/PKGBUILD (from rev 215364,
idris/trunk/PKGBUILD)
===
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2017-03-09 07:50:20 UTC (rev 215365)
@@ -0,0 +1,43 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99.1
+pkgrel=1
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-code-page"
+ "haskell-fingertree" "haskell-fsnotify" "haskell-ieee754"
"haskell-mtl"
+ "haskell-libffi" "haskell-network" "haskell-optparse-applicative"
"haskell-parsers"
+ "haskell-regex-tdfa" "haskell-safe" "haskell-split"
"haskell-terminal-size"
+ "haskell-text" "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";)
+sha256sums=('SKIP')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/
[arch-commits] Commit in idris/repos (6 files)
Date: Wednesday, March 1, 2017 @ 08:26:07
Author: felixonmars
Revision: 214318
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 214317, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 214317, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 214317, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 214317, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 214317,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-03-01 08:26:07 UTC (rev 214318)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=30
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 214317,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-03-01 08:26:07 UTC (rev
214318)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, February 17, 2017 @ 08:06:10
Author: felixonmars
Revision: 212769
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 212768, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 212768, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 212768, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 212768, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 212768,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-17 08:06:10 UTC (rev 212769)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=29
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 212768,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-17 08:06:10 UTC (rev
212769)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, February 16, 2017 @ 18:32:42
Author: felixonmars
Revision: 212621
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 212620, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 212620, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 212620, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 212620, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 212620,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-16 18:32:42 UTC (rev 212621)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=28
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 212620,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-16 18:32:42 UTC (rev
212621)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, February 14, 2017 @ 10:36:23
Author: felixonmars
Revision: 212340
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 212339, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 212339, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 212339, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 212339, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 212339,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-14 10:36:23 UTC (rev 212340)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=27
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 212339,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-14 10:36:23 UTC (rev
212340)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Saturday, February 11, 2017 @ 18:31:23
Author: felixonmars
Revision: 211895
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 211894, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 211894, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 211894, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 211894, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 211894,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-11 18:31:23 UTC (rev 211895)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=26
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 211894,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-11 18:31:23 UTC (rev
211895)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, February 10, 2017 @ 16:01:35
Author: felixonmars
Revision: 211758
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 211757, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 211757, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 211757, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 211757, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 211757,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-10 16:01:35 UTC (rev 211758)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=25
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 211757,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-10 16:01:35 UTC (rev
211758)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, February 7, 2017 @ 22:34:45
Author: felixonmars
Revision: 210944
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 210943, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 210943, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 210943, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 210943, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 210943,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-07 22:34:45 UTC (rev 210944)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=24
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 210943,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-07 22:34:45 UTC (rev
210944)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, February 7, 2017 @ 05:23:43
Author: felixonmars
Revision: 210691
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 210690, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 210690, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 210690, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 210690, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 210690,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-07 05:23:43 UTC (rev 210691)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=23
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 210690,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-07 05:23:43 UTC (rev
210691)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, February 6, 2017 @ 19:10:57
Author: felixonmars
Revision: 210538
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 210537, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 210537, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 210537, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 210537, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 210537,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-06 19:10:57 UTC (rev 210538)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=22
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 210537,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-06 19:10:57 UTC (rev
210538)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, February 6, 2017 @ 11:09:56
Author: felixonmars
Revision: 210382
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 210381, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 210381, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 210381, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 210381, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 210381,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-06 11:09:56 UTC (rev 210382)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=21
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 210381,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-06 11:09:56 UTC (rev
210382)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Saturday, February 4, 2017 @ 06:47:46
Author: felixonmars
Revision: 209810
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 209809, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 209809, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 209809, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 209809, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 209809,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-02-04 06:47:46 UTC (rev 209810)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=20
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 209809,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-02-04 06:47:46 UTC (rev
209810)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, January 24, 2017 @ 09:03:46
Author: felixonmars
Revision: 208783
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 208782, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 208782, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 208782, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 208782, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 208782,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-24 09:03:46 UTC (rev 208783)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=19
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 208782,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-24 09:03:46 UTC (rev
208783)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, January 23, 2017 @ 15:28:42
Author: felixonmars
Revision: 208582
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 208581, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 208581, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 208581, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 208581, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 208581,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-23 15:28:42 UTC (rev 208582)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=18
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 208581,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-23 15:28:42 UTC (rev
208582)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, January 17, 2017 @ 17:38:36
Author: felixonmars
Revision: 207761
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 207760, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 207760, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 207760, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 207760, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 207760,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-17 17:38:36 UTC (rev 207761)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=17
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 207760,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-17 17:38:36 UTC (rev
207761)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Wednesday, January 11, 2017 @ 06:14:27
Author: felixonmars
Revision: 206759
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 206758, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 206758, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 206758, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 206758, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 206758,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-11 06:14:27 UTC (rev 206759)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=16
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 206758,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-11 06:14:27 UTC (rev
206759)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, January 10, 2017 @ 09:47:14
Author: felixonmars
Revision: 206519
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 206518, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 206518, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 206518, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 206518, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 206518,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-10 09:47:14 UTC (rev 206519)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=15
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 206518,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-10 09:47:14 UTC (rev
206519)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Saturday, January 7, 2017 @ 06:21:54
Author: felixonmars
Revision: 205935
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 205933, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 205933, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 205934, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 205934, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 205933,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-07 06:21:54 UTC (rev 205935)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=14
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 205933,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-07 06:21:54 UTC (rev
205935)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, January 3, 2017 @ 06:01:37
Author: felixonmars
Revision: 204594
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 204593, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 204593, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 204593, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 204593, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 204593,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-01-03 06:01:37 UTC (rev 204594)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=13
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 204593,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2017-01-03 06:01:37 UTC (rev
204594)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, December 26, 2016 @ 21:18:36
Author: felixonmars
Revision: 202859
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 202858, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 202858, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 202858, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 202858, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 202858,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-26 21:18:36 UTC (rev 202859)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=12
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 202858,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-26 21:18:36 UTC (rev
202859)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, December 26, 2016 @ 00:15:31
Author: felixonmars
Revision: 202449
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 202448, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 202448, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 202448, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 202448, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 202448,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-26 00:15:31 UTC (rev 202449)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=11
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 202448,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-26 00:15:31 UTC (rev
202449)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, December 22, 2016 @ 18:55:17
Author: felixonmars
Revision: 201137
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 201136, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 201136, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 201136, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 201136, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 201136,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-22 18:55:17 UTC (rev 201137)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=10
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 201136,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-22 18:55:17 UTC (rev
201137)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Sunday, December 18, 2016 @ 10:55:10
Author: felixonmars
Revision: 200103
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 200102, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 200102, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 200102, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 200102, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 200102,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-18 10:55:10 UTC (rev 200103)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=9
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 200102,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-18 10:55:10 UTC (rev
200103)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Saturday, December 17, 2016 @ 09:35:29
Author: felixonmars
Revision: 199929
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 199928, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 199928, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 199928, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 199928, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 199928,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-17 09:35:29 UTC (rev 199929)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=8
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 199928,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-17 09:35:29 UTC (rev
199929)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Friday, December 16, 2016 @ 07:39:49
Author: felixonmars
Revision: 199771
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 199770, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 199770, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 199770, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 199770, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 199770,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-16 07:39:49 UTC (rev 199771)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=7
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 199770,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-16 07:39:49 UTC (rev
199771)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Thursday, December 15, 2016 @ 18:16:16
Author: felixonmars
Revision: 199590
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 199589, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 199589, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 199589, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 199589, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 199589,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-15 18:16:16 UTC (rev 199590)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=6
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 199589,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-15 18:16:16 UTC (rev
199590)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Wednesday, December 14, 2016 @ 09:16:30
Author: felixonmars
Revision: 199335
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 199334, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 199334, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 199334, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 199334, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 199334,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-14 09:16:30 UTC (rev 199335)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=5
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 199334,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-14 09:16:30 UTC (rev
199335)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, December 13, 2016 @ 15:51:08
Author: felixonmars
Revision: 199239
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 199238, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 199238, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 199238, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 199238, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 199238,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-13 15:51:08 UTC (rev 199239)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=4
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 199238,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-13 15:51:08 UTC (rev
199239)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, December 12, 2016 @ 09:13:12
Author: felixonmars
Revision: 198948
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 198947, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 198947, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 198947, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 198947, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 198947,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-12 09:13:12 UTC (rev 198948)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=3
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 198947,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-12 09:13:12 UTC (rev
198948)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Tuesday, December 6, 2016 @ 10:34:39
Author: felixonmars
Revision: 198154
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
idris/repos/community-staging-i686/
idris/repos/community-staging-i686/PKGBUILD
(from rev 198153, idris/trunk/PKGBUILD)
idris/repos/community-staging-i686/datadir.patch
(from rev 198153, idris/trunk/datadir.patch)
idris/repos/community-staging-x86_64/
idris/repos/community-staging-x86_64/PKGBUILD
(from rev 198153, idris/trunk/PKGBUILD)
idris/repos/community-staging-x86_64/datadir.patch
(from rev 198153, idris/trunk/datadir.patch)
+
community-staging-i686/PKGBUILD| 49 ++
community-staging-i686/datadir.patch | 84 +++
community-staging-x86_64/PKGBUILD | 49 ++
community-staging-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-staging-i686/PKGBUILD (from rev 198153,
idris/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-12-06 10:34:39 UTC (rev 198154)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=2
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-staging-i686/datadir.patch (from rev 198153,
idris/trunk/datadir.patch)
===
--- community-staging-i686/datadir.patch(rev 0)
+++ community-staging-i686/datadir.patch2016-12-06 10:34:39 UTC (rev
198154)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
[arch-commits] Commit in idris/repos (6 files)
Date: Monday, December 5, 2016 @ 15:12:24
Author: felixonmars
Revision: 198051
archrelease: copy trunk to community-testing-i686, community-testing-x86_64
Added:
idris/repos/community-testing-i686/
idris/repos/community-testing-i686/PKGBUILD
(from rev 198050, idris/trunk/PKGBUILD)
idris/repos/community-testing-i686/datadir.patch
(from rev 198050, idris/trunk/datadir.patch)
idris/repos/community-testing-x86_64/
idris/repos/community-testing-x86_64/PKGBUILD
(from rev 198050, idris/trunk/PKGBUILD)
idris/repos/community-testing-x86_64/datadir.patch
(from rev 198050, idris/trunk/datadir.patch)
+
community-testing-i686/PKGBUILD| 49 ++
community-testing-i686/datadir.patch | 84 +++
community-testing-x86_64/PKGBUILD | 49 ++
community-testing-x86_64/datadir.patch | 84 +++
4 files changed, 266 insertions(+)
Copied: idris/repos/community-testing-i686/PKGBUILD (from rev 198050,
idris/trunk/PKGBUILD)
===
--- community-testing-i686/PKGBUILD (rev 0)
+++ community-testing-i686/PKGBUILD 2016-12-05 15:12:24 UTC (rev 198051)
@@ -0,0 +1,49 @@
+# $Id$
+# Maintainer: Felix Yan
+# Contributor: Arch Haskell Team
+
+pkgname=idris
+pkgver=0.99
+pkgrel=1
+pkgdesc="Functional Programming Language with Dependent Types"
+url="http://www.idris-lang.org/";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('gmp' 'libffi' 'zlib' 'gcc')
+makedepends=("ghc=8.0.1" "git" "haskell-aeson" "haskell-annotated-wl-pprint"
"haskell-ansi-terminal"
+ "haskell-ansi-wl-pprint" "haskell-async"
"haskell-base64-bytestring"
+ "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate"
"haskell-fingertree"
+ "haskell-fsnotify" "haskell-ieee754" "haskell-mtl"
"haskell-libffi" "haskell-network"
+ "haskell-optparse-applicative" "haskell-parsers"
"haskell-regex-tdfa"
+ "haskell-safe" "haskell-split" "haskell-terminal-size"
"haskell-text"
+ "haskell-transformers-compat" "haskell-trifecta"
"haskell-uniplate"
+ "haskell-unordered-containers" "haskell-utf8-string"
"haskell-vector"
+ "haskell-vector-binary-instances" "haskell-zip-archive")
+source=("git+https://github.com/idris-lang/Idris-dev.git#tag=v$pkgver";
+datadir.patch)
+sha256sums=('SKIP'
+'e7cf290770a7ee08cc4089eccf23a7501300d70e85df03d84652b3045d568371')
+
+prepare() {
+sed -i 's/, safe == 0.3.9/, safe >= 0.3.9/' Idris-dev/${pkgname}.cabal
+
+cd Idris-dev
+# https://github.com/idris-lang/Idris-dev/issues/3544
+patch -p1 -i ../datadir.patch
+}
+
+build() {
+cd "${srcdir}/Idris-dev"
+
+runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
+--libsubdir=\$compiler/site-local/\$pkgid \
+-fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
+LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+}
+
+package() {
+cd "${srcdir}/Idris-dev"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -r "$pkgdir"/usr/{lib,share/doc}
+}
Copied: idris/repos/community-testing-i686/datadir.patch (from rev 198050,
idris/trunk/datadir.patch)
===
--- community-testing-i686/datadir.patch(rev 0)
+++ community-testing-i686/datadir.patch2016-12-05 15:12:24 UTC (rev
198051)
@@ -0,0 +1,84 @@
+From d1bc3fa3c704bc233f0036ea13204d7790d26477 Mon Sep 17 00:00:00 2001
+From: Jan de Muijnck-Hughes
+Date: Mon, 5 Dec 2016 11:17:51 +
+Subject: [PATCH] Make fetching of data files more robust. Fixes #3544
+
+`getDataFileName` didn't take into account possible changes in Idris' datadir
that were not cabal made. This fix adds a more robust variant of
`getDataFileName`.
+---
+ src/IRTS/System.hs| 7 ++-
+ src/Idris/IdrisDoc.hs | 4 ++--
+ src/Idris/Info.hs | 5 +
+ 3 files changed, 13 insertions(+), 3 deletions(-)
+
+diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
+index def563e..9d3d11a 100644
+--- a/src/IRTS/System.hs
b/src/IRTS/System.hs
+@@ -6,7 +6,7 @@ License : BSD3
+ Maintainer : The Idris Community.
+ -}
+ {-# LANGUAGE CPP #-}
+-module IRTS.System( getDataFileName
++module IRTS.System( getIdrisDataFileByName
+ , getCC
+ , getLibFlags
+ , getIdrisDataDir
+@@ -42,6 +42,11 @@ getIdrisDataDir = do
+ return ddir
+ Just ddir -> return ddir
+
++getIdrisDataFileByName :: String -> IO FilePath
++getIdrisDataFileByName fn = do
++ dir <- getIdrisDataDir
++ return $ dir fn
++
+ overrideIdrisSubDirWith :: String -- ^ Sub directory in `getDataDir`
location.
+
