diff options
| -rw-r--r-- | testing/idris/APKBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 5c7887330c..2cfcdd4f51 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -6,8 +6,9 @@ pkgver=1.0 pkgrel=1 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 -arch="armhf x86_64" +# Note: same as ghc, if it gets ported elsewhere this should run too. +# armhf: disabled due to build failure +arch="x86_64" license="BSD3" depends="gmp-dev gcc" makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev" |