[arch-commits] Commit in agda/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Wed Jan 11 09:18:41 UTC 2017
Date: Wednesday, January 11, 2017 @ 09:18:41
Author: felixonmars
Revision: 206787
upgpkg: agda 2.5.2-1
Modified:
agda/trunk/PKGBUILD
----------+
PKGBUILD | 29 ++++++++++++-----------------
1 file changed, 12 insertions(+), 17 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-01-11 09:13:45 UTC (rev 206786)
+++ PKGBUILD 2017-01-11 09:18:41 UTC (rev 206787)
@@ -4,30 +4,25 @@
_hkgname=Agda
pkgname=agda
-pkgver=2.5.1.1
-pkgrel=2
+pkgver=2.5.2
+pkgrel=1
pkgdesc="A dependently typed functional programming language and proof assistant"
url="http://wiki.portal.chalmers.se/agda/"
license=("custom")
arch=('i686' 'x86_64')
depends=('gmp' 'libffi' 'zlib')
-makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs"
- "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
- "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip"
- "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables"
- "haskell-monadplus" "haskell-mtl" "haskell-parallel"
- "haskell-quickcheck" "haskell-src-exts" "haskell-strict"
- "haskell-text" "haskell-transformers-compat"
- "haskell-unordered-containers" "haskell-zlib")
+makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs" "haskell-data-hash"
+ "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" "haskell-equivalence"
+ "haskell-filepath" "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable"
+ "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl"
+ "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-strict"
+ "haskell-text" "haskell-transformers-compat" "haskell-unordered-containers"
+ "haskell-zlib")
optdepends=('agda-stdlib: for standard library')
source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha256sums=('563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0')
+sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
prepare() {
- sed -e 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' \
- -e 's/, QuickCheck >= 2.8.2 && < 2.9/, QuickCheck >= 2.8.2 \&\& < 2.10/' \
- -i $_hkgname-$pkgver/$_hkgname.cabal
-
# TODO: Find a better way!
# Build it twice to compile the agdai file.
cp -a ${_hkgname}-${pkgver}{,-tmp}
@@ -36,10 +31,10 @@
build() {
cd "${srcdir}/${_hkgname}-${pkgver}"
- runhaskell Setup configure -O --enable-library-profiling --enable-shared \
+ runhaskell Setup configure -O \
--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
--libsubdir=\$compiler/site-local/\$pkgid \
- -fcpphs -f-uhc
+ -fcpphs -f-uhc -f-debug
LC_CTYPE=en_US.UTF-8 runhaskell Setup build
cd "${srcdir}/${_hkgname}-${pkgver}-tmp"
More information about the arch-commits
mailing list