fails to build: "ls: cannot access euclid.cert: No such file or directory"
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
acl2 (Ubuntu) |
Invalid
|
High
|
Unassigned | ||
Jaunty |
Won't Fix
|
High
|
Unassigned |
Bug Description
Binary package hint: acl2
acl2 failed to build in a test rebuild of Jaunty. Here's the log:
http://
make[3]: Entering directory `/build/
Using ACL2=..
/usr/bin/make -s -f Makefile euclid.cert fermat.cert euler.cert gauss.cert eisenstein.cert mersenne.cert INHIBIT=
make[4]: Entering directory `/build/
Making /build/
ls: cannot access euclid.cert: No such file or directory
**CERTIFICATION FAILED** for /build/
make[4]: *** [euclid.cert] Error 1
make[4]: Leaving directory `/build/
make[3]: *** [all] Error 2
make[3]: Leaving directory `/build/
make[2]: *** [quadratic-
make[2]: Leaving directory `/build/
Command exited with non-zero status 2
3560.49user 267.96system 1:04:25elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
120inputs+
make[1]: *** [all] Error 2
make[1]: Leaving directory `/build/
Changed in acl2 (Ubuntu): | |
importance: | Undecided → High |
Changed in acl2 (Ubuntu): | |
status: | New → Confirmed |
Changed in acl2 (Ubuntu): | |
status: | Confirmed → Invalid |
Can you post the file /build/ buildd/ acl2-3. 4/books/ quadratic- reciprocity/ euclid. out please?