From c2fc85c203693d141a255af17efc02ed02237811 Mon Sep 17 00:00:00 2001 From: Jakub Jirutka Date: Sun, 29 Oct 2017 21:25:19 +0100 Subject: 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 --- testing/idris/APKBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'testing/idris/APKBUILD') 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" -- cgit v1.2.3