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.
| Summary | Form: (CERTIFY-BOOK "solutions" ...) | Rules: NIL | Time: 0.72 seconds (prove: 0.05, print: 0.00, other: 0.67) | Prover steps counted: 9113 | ; (EV-REC *RETURN-LAST-ARG3* ...) took | ; 0.71 seconds realtime, | ; 0.30 seconds runtime, 0.23 seconds child runtime, | ; 0.03 seconds systime, 0.01 seconds child systime. | Exit code from ACL2 is 43 | -rw-rw-r-- 1 buildd sbuild 380 Oct 28 23:33 solutions.cert | mv saved_acl2.ori saved_acl2 | [ -f debian/test.log ] && ( ! fgrep '**' debian/test.log || \ | gcl -batch -eval "(bye #-native-reloc 0 #+native-reloc (let ((w (multiple-value-bind (a b c d) (si::heap-report) (/ (- d c) (/ a 8))))) (format t \&quo | t;certification run with ~s heap words~%\" w) (if (< w 500000000) 0 1)))") | **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/parsers/earley/earley-parser.lisp | | *********************************************** | | ************ ABORTING from raw Lisp *********** | | *********************************************** | **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/parsers/earley/earley-parser.lisp | make[2]: *** [parsers/earley/earley-parser.cert] Error 1 | **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/projects/security/des-ghosh/des.lisp | | *********************************************** | | ************ ABORTING from raw Lisp *********** | | *********************************************** | | *** Note: No checkpoints to print. *** | **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/projects/security/des-ghosh/des.lisp | make[2]: *** [projects/security/des-ghosh/des.cert] Error 1 | make[1]: *** [certify-books] Error 2 | certification run with 4296381952 heap words | debian/rules:95: recipe for target 'debian/test.log' failed | make: *** [debian/test.log] Error 1 | dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 Regards, -- Steven Chamberlain ste...@pyro.eu.org
signature.asc
Description: Digital signature
