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 /README.md | |
| 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 'README.md')
0 files changed, 0 insertions, 0 deletions