diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2017-10-29 21:25:19 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2017-10-29 21:25:19 +0100 |
| commit | c2fc85c203693d141a255af17efc02ed02237811 (patch) | |
| tree | 0937dd4f44b7f9db3549c750f3285832f94e0bcc /testing | |
| parent | cfc99dd12a50fac812fd55128771c500a9b9566f (diff) | |
| download | aports-c2fc85c203693d141a255af17efc02ed02237811.tar.bz2 aports-c2fc85c203693d141a255af17efc02ed02237811.tar.xz | |
testing/idris: disable on armhf due to build failure
cabal: Missing dependencies on foreign libraries:
* Missing C libraries: ffi, ffi
...
cabal: Leaving directory '/tmp/cabal-tmp-29534/libffi-0.1'
Updating world file...
cabal: Error: some packages failed to install:
libffi-0.1 failed during the configure step. The exception was:
ExitFailure 1
http://tpaste.us/Vbxz
Diffstat (limited to 'testing')
| -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" |