<feed xmlns='http://www.w3.org/2005/Atom'>
<title>aports/testing/idris, branch master</title>
<subtitle>Main aports tree
</subtitle>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/'/>
<entry>
<title>testing/idris: upgrade to 1.3.2</title>
<updated>2020-04-10T20:14:18+00:00</updated>
<author>
<name>J0WI</name>
<email>J0WI@users.noreply.github.com</email>
</author>
<published>2020-04-10T18:09:57+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=a084e2856208fd835e6b0573d42acf30149bec5c'/>
<id>a084e2856208fd835e6b0573d42acf30149bec5c</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: disable on x86_64</title>
<updated>2020-04-10T05:04:58+00:00</updated>
<author>
<name>Leo</name>
<email>thinkabit.ukim@gmail.com</email>
</author>
<published>2020-04-10T05:04:37+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=35a124692b3d96d3e85126a0b79ad5d70e6ae5c8'/>
<id>35a124692b3d96d3e85126a0b79ad5d70e6ae5c8</id>
<content type='text'>
Fails to build with the following:

After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: idris, base
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Fails to build with the following:

After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: idris, base
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: try using v1-sandbox instead of sandbox</title>
<updated>2020-04-10T02:03:10+00:00</updated>
<author>
<name>Leo</name>
<email>thinkabit.ukim@gmail.com</email>
</author>
<published>2020-04-10T02:02:25+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=71422a70753279ebc94f0cb05a0685720020caaa'/>
<id>71422a70753279ebc94f0cb05a0685720020caaa</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>{main,community,testing}/*: rebuild against libffi.so.7</title>
<updated>2020-04-09T15:38:03+00:00</updated>
<author>
<name>Leo</name>
<email>thinkabit.ukim@gmail.com</email>
</author>
<published>2020-04-07T16:17:26+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=d95e2bc8267a24b585856b23e7819fc365dda981'/>
<id>d95e2bc8267a24b585856b23e7819fc365dda981</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump pkgrel</title>
<updated>2018-10-06T17:19:31+00:00</updated>
<author>
<name>J0WI</name>
<email>J0WI@users.noreply.github.com</email>
</author>
<published>2018-10-06T12:15:24+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64'/>
<id>16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: upgrade to 1.3.0</title>
<updated>2018-06-15T11:20:25+00:00</updated>
<author>
<name>Mitch Tishmack</name>
<email>mitch.tishmack@gmail.com</email>
</author>
<published>2018-06-10T18:55:55+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=41600059c184f67b3e8d9994a76aa6e9444815f9'/>
<id>41600059c184f67b3e8d9994a76aa6e9444815f9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>[various]: unify names of licenses according to SPDX</title>
<updated>2017-12-30T20:05:50+00:00</updated>
<author>
<name>Jakub Jirutka</name>
<email>jakub@jirutka.cz</email>
</author>
<published>2017-12-30T18:04:30+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=63f5e7d295659a855709901ce22a3e5f40fce455'/>
<id>63f5e7d295659a855709901ce22a3e5f40fce455</id>
<content type='text'>
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/
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
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/
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: disable on armhf due to build failure</title>
<updated>2017-10-29T20:25:19+00:00</updated>
<author>
<name>Jakub Jirutka</name>
<email>jakub@jirutka.cz</email>
</author>
<published>2017-10-29T20:25:19+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=c2fc85c203693d141a255af17efc02ed02237811'/>
<id>c2fc85c203693d141a255af17efc02ed02237811</id>
<content type='text'>
  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
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
  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
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: bump release, disable building of profiled objects</title>
<updated>2017-10-27T21:04:31+00:00</updated>
<author>
<name>Mitch Tishmack</name>
<email>mitch.tishmack@gmail.com</email>
</author>
<published>2017-06-04T18:13:35+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=f2a1affc94db5c26008ceac2383a8740a76d6379'/>
<id>f2a1affc94db5c26008ceac2383a8740a76d6379</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>testing/idris: Fix build of idris with newer pkg versions</title>
<updated>2017-10-27T21:04:31+00:00</updated>
<author>
<name>Mitch Tishmack</name>
<email>mitch.tishmack@gmail.com</email>
</author>
<published>2017-05-28T21:13:51+00:00</published>
<link rel='alternate' type='text/html' href='https://git-old.alpinelinux.org/aports/commit/?id=cc57909e25afdd9fcefdb2cb74492e51c7ab0bb3'/>
<id>cc57909e25afdd9fcefdb2cb74492e51c7ab0bb3</id>
<content type='text'>
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.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
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.
</pre>
</div>
</content>
</entry>
</feed>
