diff options
| author | Mitch Tishmack <mitch.tishmack@gmail.com> | 2018-06-10 18:55:55 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2018-06-15 11:20:25 +0000 |
| commit | 41600059c184f67b3e8d9994a76aa6e9444815f9 (patch) | |
| tree | 7a81701b9a49b68012b5f4747ec806a111249fb0 /testing/idris/APKBUILD | |
| parent | eaacb329524dc206227776517424e62ec72d6162 (diff) | |
| download | aports-41600059c184f67b3e8d9994a76aa6e9444815f9.tar.bz2 aports-41600059c184f67b3e8d9994a76aa6e9444815f9.tar.xz | |
testing/idris: upgrade to 1.3.0
Diffstat (limited to 'testing/idris/APKBUILD')
| -rw-r--r-- | testing/idris/APKBUILD | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 9863c29580..4e31e8dc02 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -2,8 +2,8 @@ # Contributor: Jakub Jirutka <jakub@jirutka.cz> # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> pkgname=idris -pkgver=1.0 -pkgrel=1 +pkgver=1.3.0 +pkgrel=0 pkgdesc="A Language with Dependent Types" url="http://www.idris-lang.org" # Note: same as ghc, if it gets ported elsewhere this should run too. @@ -37,6 +37,9 @@ cabal_update() { # Add version tag at the first line. sed -i "1i--$pkgver" cabal.config + # Remove rts/ghc-boot-sh package if they somehow got inserted + sed -i -e "s/.*rts.*//g" -e "s/.*ghc-boot-th.*//g" cabal.config + mv cabal.config "$startdir"/ cd "$startdir" @@ -95,12 +98,15 @@ prepare() { # Create Cabal sandbox that will be used for all subsequent cabal # invocations. This is something like Python virtual env. - HOME="$_cabal_home" cabal sandbox init + cmd="cabal sandbox init" + msg "$cmd" + HOME="$_cabal_home" $cmd # Fetch all dependencies. # Note: cabal-doctest is a transitive dependency for libffi-0.1 not idris - HOME="$_cabal_home" cabal fetch --no-dependencies $(_cabal_pkgs) \ - cabal-doctest-1.0.2 libffi-0.1 + cmd="cabal fetch --no-dependencies $(_cabal_pkgs) cabal-doctest-1.0.2 libffi-0.1" + msg "$cmd" + HOME="$_cabal_home" $cmd } build() { @@ -155,5 +161,5 @@ package() { mv usr/share/doc/LICENSE usr/share/licenses/$pkgname/ } -sha512sums="a350004a8510f01d1cc8f965a9a4e2dab219f003980b98354ebb5ae42f73b32c90c98dce193943e9709d994cb92ad35814a46b79412a1afc85d42e1018c6ba10 idris-1.0.tar.gz -adce625aed6ab6f36adf6d91e5671c85c91a1009e17419a88071e3cd500962c1c545406b2eb431cd3efa45d3dacadac913a9a27a5956e8233bd13b4630ff2ab4 cabal.config" +sha512sums="d015d643e0c121702c8e1a8a27db0a4f071fae35437bb4835314e70499b1eae123ab92d8272f0b91fae6d03b46cceee887e27935c950341c0905a4cdb43cbb84 idris-1.3.0.tar.gz +713ae5a61d5fe297a4e4afba61d8b5d4422183780e696bd3f6059a0753a391b4cbb869e1baed24203ad2f626421e5be9cd05785cf286e003ac236f0ed024f606 cabal.config" |