tags 573807 + confirmed upstream
severity 573807 important
thanks
Hiya,
Not RC as the package has never built on th[is|ese] arch[es].
On Sun, Mar 14, 2010 at 02:43:24AM +0100, Cyril Brulebois wrote:
Source: agda-stdlib
Version: 0.3-3
Severity: serious
Justification: FTBFS
User: [email protected]
Usertags: kfreebsd
Hi,
your package no longer builds on kfreebsd-amd64:
| Checking Relation.Binary.NonStrictToStrict
(/build/buildd-agda-stdlib_0.3-3-kfreebsd-amd64-vLd1Gu/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agda).
| Stack space overflow: current size 8388608 bytes.
| Use `+RTS -Ksize -RTS' to increase it.
| make[1]: *** [override_dh_auto_build] Error 2
There are a few build issues on other architectures too.
Full build logs:
https://buildd.debian.org/status/package.php?p=agda-stdlib
Thanks a lot for the report. This is [yet] another instance of Agda
being rather memory hungry. The good thing is that I've seen upstream
talk of working on efficiency improvements. In the meantime, we can
either...
a) try to increase the stack size, but I'm not sure if there is a
reasonable value to take it to.
b) provide an untypechecked package (agda-stdlib-untypechecked) which
users will just copy to their own space to use
c) do nothing and hope that upstream improve Agda enough to make this
problem go away
d) your better solution
I don't know which is best at this moment in time, and will ponder on
it.
Cheers,
Iain
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
