aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris
Commit message (Collapse)AuthorAgeFilesLines
* testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump ↵J0WI2018-10-061-2/+2
| | | | pkgrel
* testing/idris: upgrade to 1.3.0Mitch Tishmack2018-06-152-101/+101
|
* [various]: unify names of licenses according to SPDXJakub Jirutka2017-12-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit updates $license variable in all APKBUILDs to comply with short names specified by SPDX version 3.0 [1] where possible. It was done using find-and-replace method on substrings inside $license variables. Only license names were updated, not "expressions" specifying relation between the licenses (e.g. "X and Y", "X or Y", "X and (Y or Z)") or exceptions (e.g. "X with exceptions"). Many licenses have a version or multiple variants, e.g. MPL-2.0, BSD-2-Clause, BSD-3-Clause. However, $license in many aports do not contain license version or variant. Since there's no way how to infer this information just from abuild, it were left without the variant suffix or version, i.e. non SPDX compliant. GNU licenses (AGPL, GFDL, GPL, LGPL) are especially complicated. They exist in two variants: -only (formerly e.g. GPL-2.0) and -or-later (formerly e.g. GPL-2.0+). We did not systematically noted distinguish between these variants, so GPL-2.0, GPL2, GPLv2 etc. may mean GPL-2.0-only or GPL-2.0-or-later. Thus GNU licenses without "+" (e.g. GPL2+) were left without the variant suffix, i.e. non SPDX compliant. Note: This commit just fixes format of the license names, no verification has been done if the specified license information is actually correct! [1]: https://spdx.org/licenses/
* testing/idris: disable on armhf due to build failureJakub Jirutka2017-10-291-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 objectsMitch Tishmack2017-10-271-1/+3
|
* testing/idris: Fix build of idris with newer pkg versionsMitch Tishmack2017-10-272-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 validationMitch Tishmack2017-10-271-5/+0
|
* testing/idris: disable on armhf. does not buildNatanael Copa2017-05-221-1/+1
|
* testing/idris: use cabal freeze and sandbox for great goodJakub Jirutka2017-05-172-28/+177
|
* testing/idris: fix and improve abuildJakub Jirutka2017-05-171-25/+32
|
* testing/idris: new aportMitch Tishmack2017-05-171-0/+69