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

[Steven Chamberlain <steven@pyro.eu.org>]

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
steven@pyro.eu.org