aports - Main aports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	testing/idris: disable on armhf due to build failure	Jakub Jirutka	2017-10-29	1	-2/+3
\| \| \| \| \| \| \| \| \| \| \| \| \|	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: bump release, disable building of profiled objects	Mitch Tishmack	2017-10-27	1	-1/+3
\|
*	testing/idris: Fix build of idris with newer pkg versions	Mitch Tishmack	2017-10-27	2	-18/+59
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The use of cabal freeze only works for install/configure. cabal fetch does not honor the cabal.config. Ref: https://github.com/haskell/cabal/issues/4256 Change the build to still use the freeze file, however put the cabal directory to $srcdir/cabal, do not set CABAL_CONFIG so that constraints get shadowed if future packages are released, when installing libffi constrain libffi to version 0.1 and extract constraints from the cabal.config. Additionally, for cabal freeze add switch to ignore the base ghc packages as they're not relevant to cabal install/fetch/build. Finally, add any libffi transitive depdendencies missing from the cabal.config file for idris. For now only one applies. Also force constraints manually on cabal install libffi as cabal.config wasn't getting picked up.
*	testing/idris: Remove incorrect comments re: cabal and validation	Mitch Tishmack	2017-10-27	1	-5/+0
\|
*	testing/idris: disable on armhf. does not build	Natanael Copa	2017-05-22	1	-1/+1
\|
*	testing/idris: use cabal freeze and sandbox for great good	Jakub Jirutka	2017-05-17	2	-28/+177
\|
*	testing/idris: fix and improve abuild	Jakub Jirutka	2017-05-17	1	-25/+32
\|
*	testing/idris: new aport	Mitch Tishmack	2017-05-17	1	-0/+69