diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2020-04-10 20:09:57 +0200 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2020-04-10 20:14:18 +0000 |
| commit | a084e2856208fd835e6b0573d42acf30149bec5c (patch) | |
| tree | 48545f252392040f8b60bc5fa704c3dd4f9d41f9 /testing/idris/APKBUILD | |
| parent | b3fc2a7e528a4d7be10490eb7ab23b82f8d04838 (diff) | |
| download | aports-a084e2856208fd835e6b0573d42acf30149bec5c.tar.bz2 aports-a084e2856208fd835e6b0573d42acf30149bec5c.tar.xz | |
testing/idris: upgrade to 1.3.2
Diffstat (limited to 'testing/idris/APKBUILD')
| -rw-r--r-- | testing/idris/APKBUILD | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index ce4f8f7c86..22de8a4335 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -2,13 +2,13 @@ # Contributor: Jakub Jirutka <jakub@jirutka.cz> # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> pkgname=idris -pkgver=1.3.0 -pkgrel=2 +pkgver=1.3.2 +pkgrel=0 pkgdesc="A Language with Dependent Types" url="https://www.idris-lang.org/" # Note: same as ghc, if it gets ported elsewhere this should run too. # armhf: disabled due to build failure -arch="" +arch="x86_64" license="BSD-3-Clause" depends="gmp-dev gcc" makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev" @@ -28,11 +28,11 @@ cabal_update() { cd "$builddir" # Create cabal config and fetch index. - HOME="$_cabal_home" cabal update + HOME="$_cabal_home" cabal v1-update # Resolve deps and generate fresh cabal.config with version constraints. rm -f cabal.config - HOME="$_cabal_home" cabal freeze --shadow-installed-packages + HOME="$_cabal_home" cabal v1-freeze --shadow-installed-packages # Add version tag at the first line. sed -i "1i--$pkgver" cabal.config @@ -89,7 +89,7 @@ prepare() { fi # Create cabal config and fetch index. - HOME="$_cabal_home" cabal update + HOME="$_cabal_home" cabal v1-update # Cabal implicitly loads cabal.config from the project's directory. ln -sf "$srcdir"/cabal.config . @@ -112,12 +112,12 @@ build() { # Note: for libffi force constraints manually via the freeze file to prevent # cabal from possibly using newer constraints for libffi that might intersect # with those idris uses. - HOME="$_cabal_home" cabal install $_cabal_install_opts --offline --constraint=cabal-doctest==1.0.2 \ + HOME="$_cabal_home" cabal v1-install $_cabal_install_opts --offline --constraint=cabal-doctest==1.0.2 \ $(_cabal_constraints) -v libffi-0.1 - HOME="$_cabal_home" cabal install $_cabal_install_opts --offline --only-dependencies -v + HOME="$_cabal_home" cabal v1-install $_cabal_install_opts --offline --only-dependencies -v # Note: ordering of prefixes is important! - HOME="$_cabal_home" cabal configure \ + HOME="$_cabal_home" cabal v1-configure \ --prefix='/usr' \ --docdir='$prefix/share/doc' \ --datadir='$prefix/share' \ @@ -130,7 +130,7 @@ build() { --disable-profiling \ --disable-library-profiling \ --flags='GMP FFI standalone' - HOME="$_cabal_home" cabal build + HOME="$_cabal_home" cabal v1-build -j } # TODO: Run upstream tests and/or figure out how to set paths to be able @@ -140,7 +140,7 @@ check() { } package() { - HOME="$_cabal_home" cabal copy --destdir="$pkgdir" + HOME="$_cabal_home" cabal v1-copy --destdir="$pkgdir" cd "$pkgdir" @@ -153,5 +153,5 @@ package() { mv usr/share/doc/LICENSE usr/share/licenses/$pkgname/ } -sha512sums="d015d643e0c121702c8e1a8a27db0a4f071fae35437bb4835314e70499b1eae123ab92d8272f0b91fae6d03b46cceee887e27935c950341c0905a4cdb43cbb84 idris-1.3.0.tar.gz -713ae5a61d5fe297a4e4afba61d8b5d4422183780e696bd3f6059a0753a391b4cbb869e1baed24203ad2f626421e5be9cd05785cf286e003ac236f0ed024f606 cabal.config" +sha512sums="0cd2ecb38ae1d535a38f6f4fbe39ce6d5d4ff496b97214fb24968e9c5b726c824dc79528d00e89d800563b20d4c8b2d47f0c6613433d1380802a2bd10d0816f3 idris-1.3.2.tar.gz +33aa12d73e8cec2284a5c9b7c38c36c42aac44120ebbb75bacdb97d3b61b16382e116a1748c7a44ec76356bea2f63b9aaf15092af982942a1ff51a56d9cac9f4 cabal.config" |