Source: acl2 Version: 3.6-3 Severity: serious User: debian-h...@lists.debian.org Usertags: hppa
acl2 fails to build on hppa. From the most recent build attempt: [...] -rw-r--r-- 1 buildd buildd 110150 Jan 6 19:18 mem.cert Making /build/buildd/acl2-3.6/books/coi/gacc/list-ops-common.cert on Wed Jan 6 19:18:31 UTC 2010 -rw-r--r-- 1 buildd buildd 113841 Jan 6 19:20 list-ops-common.cert Making /build/buildd/acl2-3.6/books/coi/gacc/list-ops-fast.cert on Wed Jan 6 19:20:32 UTC 2010 -rw-r--r-- 1 buildd buildd 116245 Jan 6 19:22 list-ops-fast.cert Making /build/buildd/acl2-3.6/books/coi/gacc/wrap.cert on Wed Jan 6 19:22:10 UTC 2010 -rw-r--r-- 1 buildd buildd 113661 Jan 6 20:03 wrap.cert Making /build/buildd/acl2-3.6/books/coi/gacc/ram3.cert on Wed Jan 6 20:03:17 UTC 2010 -rw-r--r-- 1 buildd buildd 117031 Jan 6 20:09 ram3.cert Making /build/buildd/acl2-3.6/books/coi/gacc/ram2b.cert on Wed Jan 6 20:09:14 UTC 2010 ls: cannot access ram2b.cert: No such file or directory **CERTIFICATION FAILED** for /build/buildd/acl2-3.6/books/coi/gacc/ram2b.lisp | Rules: ((:DEFINITION ADDRESSES-OF-DATA-WORD) | (:DEFINITION ADDRESSES-OF-DATA-WORD-UNIV) | (:DEFINITION CLEAR-DATA-WORD-UNIV) | (:FAKE-RUNE-FOR-TYPE-SET NIL) | (:REWRITE BAG::DISJOINT-COMMUTATIVE) | (:REWRITE READ-DATA-WORD-OF-WRITE-DATA-WORD-UNIV) | (:REWRITE BAG::SUBBAGP-DISJOINT-COMMUTE) | (:REWRITE BAG::SUBBAGP-SELF) | (:TYPE-PRESCRIPTION DISJOINT)) [...] -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
