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 | 1 | -14/+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 | 1 | -28/+68 |
| | |||||
* | 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 |