fails to build: "ls: cannot access euclid.cert: No such file or directory"

[Colin Watson]

Binary package hint: acl2

acl2 failed to build in a test rebuild of Jaunty. Here's the log:

  http://launchpadlibrarian.net/24882779/buildlog_ubuntu-jaunty-i386.acl2_3.4-1_FAILEDTOBUILD.txt.gz

make[3]: Entering directory `/build/buildd/acl2-3.4/books/quadratic-reciprocity'
Using ACL2=../../saved_acl2
/usr/bin/make -s -f Makefile euclid.cert fermat.cert euler.cert gauss.cert eisenstein.cert mersenne.cert INHIBIT='(set-inhibit-output-lst (list (quote prove) (quote proof-tree) (quote warning) (quote observation) (quote event) (quote expansion)))' ACL2='../../saved_acl2'
make[4]: Entering directory `/build/buildd/acl2-3.4/books/quadratic-reciprocity'
Making /build/buildd/acl2-3.4/books/quadratic-reciprocity/euclid.cert on Mon Apr 6 18:27:30 UTC 2009
ls: cannot access euclid.cert: No such file or directory
**CERTIFICATION FAILED** for /build/buildd/acl2-3.4/books/quadratic-reciprocity/euclid.lisp
make[4]: *** [euclid.cert] Error 1
make[4]: Leaving directory `/build/buildd/acl2-3.4/books/quadratic-reciprocity'
make[3]: *** [all] Error 2
make[3]: Leaving directory `/build/buildd/acl2-3.4/books/quadratic-reciprocity'
make[2]: *** [quadratic-reciprocity] Error 2
make[2]: Leaving directory `/build/buildd/acl2-3.4/books'
Command exited with non-zero status 2
3560.49user 267.96system 1:04:25elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
120inputs+749320outputs (0major+38763830minor)pagefaults 0swaps
make[1]: *** [all] Error 2
make[1]: Leaving directory `/build/buildd/acl2-3.4/books'

[Mark Reitblatt (mark-reitblatt)]

Can you post the file /build/buildd/acl2-3.4/books/quadratic-reciprocity/euclid.out please?

[Colin Watson (cjwatson)]

buildd chroots are torn down when the build finishes, so I don't have that file easily to hand. I tried to reproduce the failure on my laptop and got a completely different error:

  gcl < workxxx
  GCL (GNU Common Lisp) 2.6.7 CLtL1 Dec 6 2008 12:32:21
  Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
  Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
  Modifications of this banner must retain notice of a compatible license
  Dedicated to the memory of W. Schelter

  Use (help) to get some basic information on how to use GCL.
  Temporary directory for compiler files set to /tmp/

  >
  Loading init.lisp
  Loading acl2r.lisp
  Finished loading acl2r.lisp
  Loading acl2-init.lisp
  Loading acl2.lisp

  Error: Caught fatal error [memory may be damaged]
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by LOAD.
  Broken at LOAD. Type :H for Help.
  ACL2>>
  Error: The function COMPILE-ACL2 is undefined.
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by LISP:EVALHOOK.
  Backtrace: system:universal-error-handler > LISP:EVALHOOK

  Broken at LOAD.
  ACL2>>
  Error: The function EXIT-LISP is undefined.
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by LISP:EVALHOOK.
  Backtrace: system:universal-error-handler > LISP:EVALHOOK

  Broken at LOAD.
  ACL2>>make[1]: *** [full] Error 255
  make[1]: Leaving directory `/home/cjwatson/src/ubuntu/acl2/acl2-3.4'
  make: *** [saved_acl2] Error 2
  dpkg-buildpackage: failure: debian/rules build gave error exit status 2

Sorry I apparently can't help here. Maybe you can reproduce this in a chroot if you want to hack on it and don't have a jaunty system to hand? pbuilder should be adequate.

[Steve Langasek (vorlon)]

Declining this for jaunty since there doesn't seem to be any interest in working on it. If someone fixes this for karmic and wants to SRU, feel free to reopen the jaunty task.