diff options
| author | Leo <thinkabit.ukim@gmail.com> | 2020-04-10 02:04:37 -0300 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2020-04-10 02:04:58 -0300 |
| commit | 35a124692b3d96d3e85126a0b79ad5d70e6ae5c8 (patch) | |
| tree | cf22cda25e0da35334075e6f9f26aeb89ce3c981 /testing | |
| parent | 21bc86fa6daebcec4d8a2ddc947d9c38acc0fccf (diff) | |
| download | aports-35a124692b3d96d3e85126a0b79ad5d70e6ae5c8.tar.bz2 aports-35a124692b3d96d3e85126a0b79ad5d70e6ae5c8.tar.xz | |
testing/idris: disable on x86_64
Fails to build with the following:
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: idris, base
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/idris/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 9fbfb5cdd7..ce4f8f7c86 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -8,7 +8,7 @@ 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="x86_64" +arch="" license="BSD-3-Clause" depends="gmp-dev gcc" makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev" |