Source: acl2 Version: 4.3-2 Severity: serious Tags: wheezy sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20120419 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > make[4]: Entering directory `/«PKGBUILDDIR»/books/tools' > Making /«PKGBUILDDIR»/books/tools/pack.cert on Thu Apr 19 14:25:32 UTC 2012 > -rw-rw-r-- 1 user user 220 Apr 19 14:25 pack.cert > Making /«PKGBUILDDIR»/books/tools/progndollar.cert on Thu Apr 19 14:25:34 UTC > 2012 > -rw-rw-r-- 1 user user 241 Apr 19 14:25 progndollar.cert > Making /«PKGBUILDDIR»/books/tools/bstar.cert on Thu Apr 19 14:25:36 UTC 2012 > -rw-rw-r-- 1 user user 4716 Apr 19 14:25 bstar.cert > Making /«PKGBUILDDIR»/books/tools/cws.cert on Thu Apr 19 14:25:42 UTC 2012 > -rw-rw-r-- 1 user user 360 Apr 19 14:25 cws.cert > Making /«PKGBUILDDIR»/books/tools/def-functional-instance.cert on Thu Apr 19 > 14:25:44 UTC 2012 > -rw-rw-r-- 1 user user 666 Apr 19 14:25 def-functional-instance.cert > Making /«PKGBUILDDIR»/books/tools/defconsts.cert on Thu Apr 19 14:25:47 UTC > 2012 > -rw-rw-r-- 1 user user 2273 Apr 19 14:25 defconsts.cert > Making /«PKGBUILDDIR»/books/tools/defevaluator-fast.cert on Thu Apr 19 > 14:25:57 UTC 2012 > -rw-rw-r-- 1 user user 259 Apr 19 14:25 defevaluator-fast.cert > Making /«PKGBUILDDIR»/books/tools/define-keyed-function.cert on Thu Apr 19 > 14:26:01 UTC 2012 > -rw-rw-r-- 1 user user 272 Apr 19 14:26 define-keyed-function.cert > Making /«PKGBUILDDIR»/books/tools/defined-const.cert on Thu Apr 19 14:26:03 > UTC 2012 > -rw-rw-r-- 1 user user 544 Apr 19 14:26 defined-const.cert > Making /«PKGBUILDDIR»/books/tools/pattern-match.cert on Thu Apr 19 14:26:08 > UTC 2012 > -rw-rw-r-- 1 user user 247 Apr 19 14:26 pattern-match.cert > Making /«PKGBUILDDIR»/books/tools/theory-tools.cert on Thu Apr 19 14:26:13 > UTC 2012 > -rw-rw-r-- 1 user user 245 Apr 19 14:26 theory-tools.cert > Making /«PKGBUILDDIR»/books/tools/types-misc.cert on Thu Apr 19 14:26:16 UTC > 2012 > -rw-rw-r-- 1 user user 384 Apr 19 14:26 types-misc.cert > Making /«PKGBUILDDIR»/books/tools/defsum.cert on Thu Apr 19 14:26:21 UTC 2012 > ls: cannot access defsum.cert: No such file or directory > **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/tools/defsum.cert > > | SUM-RECOGNIZERS-DEF > | > | Summary > | Form: ( DEFUN SUM-COMPOUND-REC-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-COMPOUND-REC-THM > | > | Summary > | Form: ( DEFUN SUM-COMPOUND-REC-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-COMPOUND-REC-THMS > | > | Summary > | Form: ( DEFUN RECOGNIZER-CALL-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | RECOGNIZER-CALL-LIST > | > | Summary > | Form: ( DEFUN SUM-POSSIBILITY-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-POSSIBILITY-THM > | > | Summary > | Form: ( DEFUN SUM-POSSIBILITY-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-POSSIBILITY-THMS > | > | Summary > | Form: ( DEFUN PRODUCT-FAST-RECS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | PRODUCT-FAST-RECS > | > | Summary > | Form: ( DEFUN PRODUCT-FAST-RECS-SUMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | PRODUCT-FAST-RECS-SUMS > | > | Summary > | Form: ( DEFUN ACCESSOR-TYPE-CHECKLIST1 ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ACCESSOR-TYPE-CHECKLIST1 > | > | Summary > | Form: ( DEFUN ACCESSOR-TYPE-CHECKLIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ACCESSOR-TYPE-CHECKLIST > | > | Summary > | Form: ( DEFUN STRIP-PRODUCT-RECOGNIZERS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | STRIP-PRODUCT-RECOGNIZERS > | > | Summary > | Form: ( DEFUN ACCESSOR-TYPE-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ACCESSOR-TYPE-THM > | > | Summary > | Form: ( DEFUN ACCESSOR-TYPE-THMS ...) > | Rules: NIL > | Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) > | ACCESSOR-TYPE-THMS > | > | Summary > | Form: ( DEFUN ALL-ACCESSOR-TYPE-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ALL-ACCESSOR-TYPE-THMS > | > | Summary > | Form: ( DEFUN NEGATED-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | NEGATED-LIST > | > | Summary > | Form: ( DEFUN NEGATED-ACCESSOR-TYPE-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | NEGATED-ACCESSOR-TYPE-LIST > | > | Summary > | Form: ( DEFUN BAD-TYPING-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | BAD-TYPING-THM > | > | Summary > | Form: ( DEFUN SUM-BAD-TYPING-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-BAD-TYPING-THMS > | > | Summary > | Form: ( DEFUN ALL-BAD-TYPING-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ALL-BAD-TYPING-THMS > | > | Summary > | Form: ( DEFUN SUM-RECOGNIZER-CONSTRUCTOR-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-RECOGNIZER-CONSTRUCTOR-THM > | > | Summary > | Form: ( DEFUN SUM-RECOGNIZER-CONSTRUCTOR-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-RECOGNIZER-CONSTRUCTOR-THMS > | > | Summary > | Form: ( DEFUN ALL-POST-CONSTRUCTOR-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | ALL-POST-CONSTRUCTOR-THMS > | > | Summary > | Form: ( DEFUN RECOGNIZER-NEGATE-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | RECOGNIZER-NEGATE-LIST > | > | Summary > | Form: ( DEFUN NOT-EQUAL-CONSTRUCTOR-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | NOT-EQUAL-CONSTRUCTOR-LIST > | > | Summary > | Form: ( DEFUN EXCLUSION-THM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | EXCLUSION-THM > | > | Summary > | Form: ( DEFUN EXCLUSION-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | EXCLUSION-THMS > | > | Summary > | Form: ( DEFUN NAME-MATCHING-RECOGNIZER ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | NAME-MATCHING-RECOGNIZER > | > | Summary > | Form: ( DEFUN RECURSIVE-ARG-AND-CALL-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | RECURSIVE-ARG-AND-CALL-LIST > | > | Summary > | Form: ( DEFUN MEASURE-CLAUSE-LIST ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | MEASURE-CLAUSE-LIST > | > | Summary > | Form: ( DEFUN MEASURE-DEF ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | MEASURE-DEF > | > | Summary > | Form: ( DEFUN MEASURE-DEFS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | MEASURE-DEFS > | > | Summary > | Form: ( DEFUN MEASURE-MREC ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | MEASURE-MREC > | > | Summary > | Form: ( DEFUN FIELD-MEASURE-INEQS ...) > | Rules: NIL > | Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) > | FIELD-MEASURE-INEQS > | > | Summary > | Form: ( DEFUN FIELD-MEASURE-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | FIELD-MEASURE-THMS > | > | Summary > | Form: ( DEFUN SUM-MEASURE-THMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUM-MEASURE-THMS > | > | Summary > | Form: ( DEFUN UPDATER-DEFUN ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | UPDATER-DEFUN > | > | Summary > | Form: ( DEFUN PRODUCT-UPDATER-DEFUNS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | PRODUCT-UPDATER-DEFUNS > | > | Summary > | Form: ( DEFUN UPDATER-DEFUNS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | UPDATER-DEFUNS > | > | Summary > | Form: ( DEFUN SUMS-PRODUCTS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUMS-PRODUCTS > | > | Summary > | Form: ( DEFUN SUMS-NAMES ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | SUMS-NAMES > | > | Summary > | Form: ( DEFUN DEFSUMS-FN ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | DEFSUMS-FN > | > | Summary > | Form: ( DEFMACRO DEFSUM ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | DEFSUM > | > | Summary > | Form: ( DEFMACRO DEFSUMS ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | DEFSUMS > | [GC for 639 SFUN pages..(T=13).GC finished] > | [GC for 6201 CONTIGUOUS-BLOCKS pages..(T=16).GC finished] > | Loading /«PKGBUILDDIR»/books/tools/pattern-match.o > | start address -T 0x630a000 Finished loading > /«PKGBUILDDIR»/books/tools/pattern-match.o > | Loading /«PKGBUILDDIR»/books/tools/types-misc.o > | Loading /«PKGBUILDDIR»/books/tools/theory-tools.o > | start address -T 0x1bdccc0 Finished loading > /«PKGBUILDDIR»/books/tools/theory-tools.o > | start address -T 0x5d46000 Finished loading > /«PKGBUILDDIR»/books/tools/types-misc.o > | > | Summary > | Form: ( INCLUDE-BOOK "defsum" ...) > | Rules: NIL > | Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) > | Compiling /«PKGBUILDDIR»/books/tools/def...@expansion.lsp. > | ; (DEFUN PRODUCT-TYPE-THMS ...) is being compiled. > | ;; Warning: The variable COMPONENTS is not used. > | ; (DEFUN ACCESSOR-TYPE-CHECKLIST1 ...) is being compiled. > | ;; Warning: The variable PRODNAME is not used. > | ; (DEFUN ACL2_*1*_ACL2::ACCESSOR-TYPE-CHECKLIST1 ...) is being compiled. > | ;; Warning: The variable PRODNAME is not used. > | ; (DEFUN ACL2_*1*_ACL2::PRODUCT-TYPE-THMS ...) is being compiled. > | ;; Warning: The variable COMPONENTS is not used. > | End of Pass 1. > | > | ;; Note: Tail-recursive call of TYPE-CHECKLIST1 was replaced by > iteration. > | ;; Note: Tail-recursive call of ACCESSOR-TYPE-CHECKLIST1 was replaced by > iteration. > | ;; Note: Tail-recursive call of NAME-MATCHING-RECOGNIZER was replaced by > iteration. > | ;; Note: Tail-recursive call of FIELD-MEASURE-INEQS was replaced by > iteration. > | ;; Note: Tail-recursive call of FIELD-MEASURE-THMS was replaced by > iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::FIELD-MEASURE-THMS was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::FIELD-MEASURE-INEQS was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NAME-MATCHING-RECOGNIZER > was replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::ACCESSOR-TYPE-CHECKLIST1 > was replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::TYPE-CHECKLIST1 was > replaced by iteration.[GC for 202 FIXNUM pages..(T=15).GC finished] > | > | End of Pass 2. > | /«PKGBUILDDIR»/books/tools/defsum.c: In function 'LI80': > | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error: expected expression > before ')' token > | > | Error: (SYSTEM "gcc -c -Wall -DVOL=volatile -fsigned-char > -Wno-unused-but-set-variable -pipe -I/usr/lib/gcl-2.6.7/unixport/../h -O3 > -fomit-frame-pointer -c \"/«PKGBUILDDIR»/books/tools/defsum.c\" -o > \"/«PKGBUILDDIR»/books/tools/defsum.o\" -w") returned a non-zero value 0. > | Fast links are on: do (si::use-fast-links nil) for debugging > | Error signalled by CERTIFY-BOOK-FN. > | Backtrace: funcall > system:top-level > eval > lp > certify-book-fn > > compile-certified-file > system:universal-error-handler > > system::break-level-for-acl2 > let* > UNLESS > | ACL2 !> > | Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP). > | > | ACL2> > > **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/tools/defsum.cert > make[4]: *** [defsum.cert] Error 1 The full build log is available from: http://people.debian.org/~lucas/logs/2012/04/19/acl2_4.3-2_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot. Internet was not accessible from the build systems. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
