Hi, Steven Chamberlain wrote: > | **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
I couldn't reproduce it locally; Christoph, please could you give back src:acl2 for another build on kfreebsd-amd64 to see if it is still reproducible on the buildd? Thanks, Regards, -- Steven Chamberlain ste...@pyro.eu.org
