[Bug 356676] [NEW] fails to build: "ls: cannot access euclid.cert: No such file or directory"

[Colin Watson]

Public bug reported:

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'

** Affects: acl2 (Ubuntu)
     Importance: High
         Status: New

** Affects: acl2 (Ubuntu Jaunty)
     Importance: High
         Status: New

** Changed in: acl2 (Ubuntu)
   Importance: Undecided => High

** Also affects: acl2 (Ubuntu Jaunty)
   Importance: High
       Status: New

-- 
fails to build: "ls: cannot access euclid.cert: No such file or directory"
https://bugs.launchpad.net/bugs/356676
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs