--- Begin Message ---
Source: acl2
Version: 4.3-2
Severity: serious
Tags: wheezy sid
User: [email protected]
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/[email protected].
> | ; (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.
--- End Message ---
