Re: Bug#815312: acl2: FTBFS in kfreebsd-amd64

2016-04-15 Thread Camm Maguire
Greetings! This appears to be due to k-a's unique oom processor. The underlying GCL jobs are receiving SIGKILL when enough memory is written to. GCL attempts to size the available runtime memory by probing brk, and then backing off by some multiple, but here (apparently alone) the multiple needs

Re: Bug#815312: acl2: FTBFS in kfreebsd-amd64

2016-02-21 Thread Steven Chamberlain
Hi, Steven Chamberlain wrote: > | **CERTIFICATION FAILED** for > /«PKGBUILDDIR»/books/parsers/earley/earley-parser.lisp > || *** > || ABORTING from raw Lisp *** > || *** > | **

Re: Bug#815312: acl2: FTBFS in kfreebsd-amd64

2016-02-20 Thread Steven Chamberlain
user debian-bsd@lists.debian.org usertags 815312 + kfreebsd thanks Andreas Beckmann wrote: > acl2 FTBFS on kfreebsd-amd64: > https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=kfreebsd-amd64&ver=7.1dfsg-2&stamp=1446098344 > The log seems to be truncated, I didn't find the actual failure. |