11 Commits

Author SHA1 Message Date
J0WI
16f8ceb8e2 testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump pkgrel 2018-10-06 17:19:31 +00:00
Mitch Tishmack
41600059c1 testing/idris: upgrade to 1.3.0 2018-06-15 11:20:25 +00:00
Jakub Jirutka
63f5e7d295 [various]: unify names of licenses according to SPDX
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/
2017-12-30 21:05:50 +01:00
Jakub Jirutka
c2fc85c203 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
2017-10-29 21:25:19 +01:00
Mitch Tishmack
f2a1affc94 testing/idris: bump release, disable building of profiled objects 2017-10-27 23:04:31 +02:00
Mitch Tishmack
cc57909e25 testing/idris: Fix build of idris with newer pkg versions
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.
2017-10-27 23:04:31 +02:00
Mitch Tishmack
002dd9d33c testing/idris: Remove incorrect comments re: cabal and validation 2017-10-27 23:00:34 +02:00
Natanael Copa
9f9567bc47 testing/idris: disable on armhf. does not build 2017-05-22 15:18:58 +00:00
Jakub Jirutka
bf5f52db45 testing/idris: use cabal freeze and sandbox for great good 2017-05-17 13:38:42 +02:00
Jakub Jirutka
735829e7c6 testing/idris: fix and improve abuild 2017-05-17 13:38:42 +02:00
Mitch Tishmack
92cf3505b3 testing/idris: new aport 2017-05-17 13:38:42 +02:00