That's the issue! From somewhere, I had GHCRTS=-K64M
I have no idea when or why I stuck that in my .bash_profile, but excising that relic fixes the problem. Thanks very much.
David On 01/06/2012 06:27 AM, Iain Lane wrote:
Hello so soon, On Fri, Jan 06, 2012 at 11:12:07AM +0000, Iain Lane wrote:[…] - Ask GHC to ignore $GHCRTS if the executable is not linked with -rtsoptsThe default (which darcs is built with) is -rtsopts=some and in this case the RTS makes use of $GHCRTS [0]. So we could ask GHC to ignore unknown options from $GHCRTS if linked in this way, or link darcs with -rtsopts={none,full}. David, if you do have $GHCRTS set, please can we see the contents? Cheers,
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
