Your message dated Sat, 25 Sep 2010 21:18:10 +0000
with message-id <e1ozc8i-0002dm...@franck.debian.org>
and subject line Bug#597278: fixed in acl2 4.1-2
has caused the Debian Bug report #597278,
regarding acl2: FTBFS (powerpc): ls: cannot access tiny.cert: No such file or
directory
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
597278: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=597278
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 4.1-1
Severity: serious
> sbuild (Debian sbuild) 0.60.0 (23 Feb 2010) on porpora.debian.org
>
> ╔══════════════════════════════════════════════════════════════════════════════╗
> ║ acl2 4.1-1 (powerpc) 17 Sep 2010
> 22:31 ║
> ╚══════════════════════════════════════════════════════════════════════════════╝
[...]
> make[6]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps/records'
> make[5]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps/records'
> make[4]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps'
> make[3]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec'
> make[3]: Entering directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic'
> make[4]: Entering directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> Updating dependencies in
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib
> make[4]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> make[4]: Entering directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> Using ACL2=../../../saved_acl2
> /usr/bin/make -s -f Makefile defstobj+.cert fib-def.cert
> tiny-rewrites.cert tiny.cert INHIBIT='(set-inhibit-output-lst (list (quote
> prove) (quote proof-tree) (quote warning) (quote observation) (quote event)
> (quote expansion)))' ACL2='../../../saved_acl2'
> make[5]: Entering directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> Making
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.cert
> on Sat Sep 18 02:00:48 UTC 2010
> -rw-r--r-- 1 buildd buildd 4850 Sep 18 02:00 defstobj+.cert
> Making
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.cert
> on Sat Sep 18 02:00:53 UTC 2010
> ls: cannot access tiny.cert: No such file or directory
> **CERTIFICATION FAILED** for
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.lisp
>
> | (:DEFINITION NFIX)
> | (:DEFINITION NOT)
> | (:DEFINITION PROGRAM-LOADED)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART NFIX)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:INDUCTION PROGRAM-LOADED)
> | (:REWRITE NTH-UPDATE-NTH2))
> | Time: 0.04 seconds (prove: 0.04, print: 0.00, other: 0.00)
> | PROGRAM-LOADED-IRRELEVANT
> |
> | Summary
> | Form: ( DEFTHM PROGRAM-LOADED-CONS ...)
> | Rules: ((:DEFINITION ENDP)
> | (:DEFINITION FIX)
> | (:DEFINITION LEN)
> | (:DEFINITION MEMI)
> | (:DEFINITION NFIX)
> | (:DEFINITION NOT)
> | (:DEFINITION PROGRAM-LOADED)
> | (:DEFINITION SYNP)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART NFIX)
> | (:EXECUTABLE-COUNTERPART NOT)
> | (:FAKE-RUNE-FOR-LINEAR NIL)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:INDUCTION LEN)
> | (:INDUCTION PROGRAM-LOADED)
> | (:META CANCEL_PLUS-LESSP-CORRECT)
> | (:REWRITE COMMUTATIVITY-2-OF-+)
> | (:REWRITE COMMUTATIVITY-OF-+)
> | (:REWRITE NTH-UPDATE-NTH-1)
> | (:REWRITE NTH-UPDATE-NTH-2)
> | (:REWRITE NTH-UPDATE-NTH-CONST)
> | (:REWRITE NTH-UPDATE-NTH2)
> | (:REWRITE UNICITY-OF-0)
> | (:TYPE-PRESCRIPTION LEN)
> | (:TYPE-PRESCRIPTION PROGRAM-LOADED))
> | Time: 0.30 seconds (prove: 0.30, print: 0.00, other: 0.00)
> | PROGRAM-LOADED-CONS
> | [SGC for 17149 CONS pages..(29029 writable)..(T=12).GC finished]
> |
> | Summary
> | Form: ( DEFTHM MOD-LOOP-CALCULATES-MOD ...)
> | Rules: ((:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER)
> | (:DEFINITION =)
> | (:DEFINITION CTOS)
> | (:DEFINITION CTOSP)
> | (:DEFINITION DTOS)
> | (:DEFINITION DTOSP)
> | (:DEFINITION FIX)
> | (:DEFINITION INTEGER-RANGE-P)
> | (:DEFINITION LENGTH)
> | (:DEFINITION MEMI)
> | (:DEFINITION MOD-LOOP-ONCE-EFFECT)
> | (:DEFINITION MODLOOP-CLOCK-HELPER)
> | (:DEFINITION NFIX)
> | (:DEFINITION NOT)
> | (:DEFINITION PROGC)
> | (:DEFINITION PROGCP)
> | (:DEFINITION REMAINDER-PROG-RESULT)
> | (:DEFINITION SYNP)
> | (:DEFINITION TINY-STATEP)
> | (:DEFINITION UNSIGNED-BYTE-P)
> | (:EXECUTABLE-COUNTERPART <)
> | (:EXECUTABLE-COUNTERPART BINARY-+)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART EXPT)
> | (:EXECUTABLE-COUNTERPART INTEGER-LENGTH)
> | (:EXECUTABLE-COUNTERPART INTEGERP)
> | (:EXECUTABLE-COUNTERPART LEN)
> | (:EXECUTABLE-COUNTERPART LOGMASKP)
> | (:EXECUTABLE-COUNTERPART NFIX)
> | (:EXECUTABLE-COUNTERPART NOT)
> | (:EXECUTABLE-COUNTERPART PROGCP)
> | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P)
> | (:EXECUTABLE-COUNTERPART ZP)
> | (:FAKE-RUNE-FOR-LINEAR NIL)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD)
> | (:FORWARD-CHAINING
> UNSIGNED-BYTE-P-FORWARD-TO-NONNEGATIVE-INTEGERP)
> | (:INDUCTION MOD-LOOP-REPEAT-INDUCT)
> | (:REWRITE <-+-NEGATIVE-0-1)
> | (:REWRITE <-+-NEGATIVE-0-2)
> | (:REWRITE <-0-+-NEGATIVE-2)
> | (:REWRITE ARB-MEMORY)
> | (:REWRITE COMMUTATIVITY-OF-LOGAND)
> | (:REWRITE FOLD-CONSTS-IN-+)
> | (:REWRITE INTEGERP-+)
> | (:REWRITE INTEGERP-UNARY--)
> | (:REWRITE INVERSE-OF-+)
> | (:REWRITE LEN-UPDATE-NTH1)
> | (:REWRITE LESSP-MINUS-HACK4)
> | (:REWRITE LOGAND-WITH-MASK)
> | (:REWRITE MEMP-UPDATE-NTH)
> | (:REWRITE MOD-LOOP-END1)
> | (:REWRITE MOD-LOOP-END2)
> | (:REWRITE MOD-LOOP-REPEAT)
> | (:REWRITE NTH-UPDATE-NTH-1)
> | (:REWRITE NTH-UPDATE-NTH-2)
> | (:REWRITE NTH-UPDATE-NTH-CONST)
> | (:REWRITE PROGRAM-LOADED-CONS)
> | (:REWRITE PROGRAM-LOADED-IRRELEVANT)
> | (:REWRITE TINY-C+)
> | (:REWRITE UNICITY-OF-0)
> | (:REWRITE UPDATE-NTH-EQUAL)
> | (:REWRITE ZP-OPEN)
> | (:TYPE-PRESCRIPTION LEN)
> | (:TYPE-PRESCRIPTION MEMP)
> | (:TYPE-PRESCRIPTION PROGRAM-LOADED)
> | (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH)
> | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P)
> | (:TYPE-PRESCRIPTION UPDATE-NTH)
> | (:TYPE-PRESCRIPTION |x < y => 0 < -x+y|))
> | Time: 2.12 seconds (prove: 2.12, print: 0.00, other: 0.00)
> | MOD-LOOP-CALCULATES-MOD
> |
> | Summary
> | Form: ( DEFUN REMCLOCK ...)
> | Rules: ((:TYPE-PRESCRIPTION MODLOOP-CLOCK-HELPER))
> | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
> | REMCLOCK
> |
> | Summary
> | Form: ( DEFUN GOOD-INITIAL-REMAINDER-STATE ...)
> | Rules: NIL
> | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
> | GOOD-INITIAL-REMAINDER-STATE
> |
> | Summary
> | Form: ( DEFTHM REMAINDER-CORRECT ...)
> | Rules: ((:DEFINITION CTOS)
> | (:DEFINITION CTOSP)
> | (:DEFINITION DTOS)
> | (:DEFINITION DTOSP)
> | (:DEFINITION GOOD-INITIAL-REMAINDER-STATE)
> | (:DEFINITION INTEGER-RANGE-P)
> | (:DEFINITION LENGTH)
> | (:DEFINITION MEMI)
> | (:DEFINITION NOT)
> | (:DEFINITION PROGC)
> | (:DEFINITION PROGCP)
> | (:DEFINITION REMCLOCK)
> | (:DEFINITION TINY-STATEP)
> | (:DEFINITION UNSIGNED-BYTE-P)
> | (:EXECUTABLE-COUNTERPART <)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART EXPT)
> | (:EXECUTABLE-COUNTERPART INTEGERP)
> | (:EXECUTABLE-COUNTERPART NOT)
> | (:EXECUTABLE-COUNTERPART PROGCP)
> | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD)
> | (:TYPE-PRESCRIPTION MEMP)
> | (:TYPE-PRESCRIPTION PROGRAM-LOADED)
> | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P))
> | Time: 0.11 seconds (prove: 0.11, print: 0.00, other: 0.00)
> | REMAINDER-CORRECT
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o
> | start address -T 0x137caaa0 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o
> |
> | Summary
> | Form: ( INCLUDE-BOOK "ihs/quotient-remainder-lemmas" ...)
> | Rules: NIL
> | Time: 0.43 seconds (prove: 0.00, print: 0.00, other: 0.43)
> |
> "/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.lisp"
> |
> | Summary
> | Form: ( DEFTHM REMAINDER-IS-MOD ...)
> | Rules: ((:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER)
> | (:DEFINITION FIX)
> | (:DEFINITION MOD)
> | (:DEFINITION NFIX)
> | (:DEFINITION NOT)
> | (:DEFINITION REMAINDER-PROG-RESULT)
> | (:EXECUTABLE-COUNTERPART <)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART FIX)
> | (:EXECUTABLE-COUNTERPART INTEGERP)
> | (:EXECUTABLE-COUNTERPART NFIX)
> | (:EXECUTABLE-COUNTERPART NOT)
> | (:EXECUTABLE-COUNTERPART RATIONALP)
> | (:EXECUTABLE-COUNTERPART UNARY--)
> | (:EXECUTABLE-COUNTERPART ZP)
> | (:FAKE-RUNE-FOR-LINEAR NIL)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:INDUCTION REMAINDER-PROG-RESULT)
> | (:META CANCEL_PLUS-EQUAL-CORRECT)
> | (:REWRITE <-+-NEGATIVE-0-2)
> | (:REWRITE CANCEL-MOD-+)
> | (:REWRITE COMMUTATIVITY-OF-*)
> | (:REWRITE EQUAL-MINUS-0)
> | (:REWRITE FLOOR-TYPE-3 . 1)
> | (:REWRITE FLOOR-TYPE-3 . 2)
> | (:REWRITE FUNCTIONAL-COMMUTATIVITY-OF-MINUS-*-LEFT)
> | (:REWRITE HOW-COULD-THIS-HAVE-BEEN-LEFT-OUT??)
> | (:REWRITE INVERSE-OF-*)
> | (:REWRITE INVERSE-OF-+-AS=0)
> | (:REWRITE THIS-NEEDS-TO-BE-ADDED-TO-QUOTIENT-REMAINDER-LEMMAS)
> | (:REWRITE UNICITY-OF-0)
> | (:REWRITE ZERO-IS-ONLY-ZERO-DIVISOR)
> | (:TYPE-PRESCRIPTION FLOOR)
> | (:TYPE-PRESCRIPTION FLOOR-TYPE-3 . 1))
> | Time: 0.35 seconds (prove: 0.35, print: 0.00, other: 0.00)
> | REMAINDER-IS-MOD
> |
> | Summary
> | Form: ( DEFTHM MOD-CORRECT ...)
> | Rules: ((:DEFINITION CTOS)
> | (:DEFINITION CTOSP)
> | (:DEFINITION DTOS)
> | (:DEFINITION DTOSP)
> | (:DEFINITION GOOD-INITIAL-REMAINDER-STATE)
> | (:DEFINITION INTEGER-RANGE-P)
> | (:DEFINITION LENGTH)
> | (:DEFINITION MEMI)
> | (:DEFINITION MOD)
> | (:DEFINITION NOT)
> | (:DEFINITION PROGC)
> | (:DEFINITION PROGCP)
> | (:DEFINITION REMCLOCK)
> | (:DEFINITION TINY-STATEP)
> | (:DEFINITION UNSIGNED-BYTE-P)
> | (:EXECUTABLE-COUNTERPART <)
> | (:EXECUTABLE-COUNTERPART EQUAL)
> | (:EXECUTABLE-COUNTERPART EXPT)
> | (:EXECUTABLE-COUNTERPART INTEGERP)
> | (:EXECUTABLE-COUNTERPART NOT)
> | (:EXECUTABLE-COUNTERPART PROGCP)
> | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P)
> | (:FAKE-RUNE-FOR-TYPE-SET NIL)
> | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD)
> | (:REWRITE ARB-MEMORY)
> | (:REWRITE COMMUTATIVITY-OF-*)
> | (:REWRITE REMAINDER-IS-MOD)
> | (:TYPE-PRESCRIPTION MEMP)
> | (:TYPE-PRESCRIPTION PROGRAM-LOADED)
> | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P))
> | Time: 0.11 seconds (prove: 0.11, print: 0.00, other: 0.00)
> | MOD-CORRECT
> | [SGC off][GC for 6063 CONTIGUOUS-BLOCKS pages..(T=30).GC finished]
> | [SGC on]Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.o
> | start address -T 0x1394f000 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defthms.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defuns.o
> | start address -T 0x11229000 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defuns.o
> | start address -T 0x11a11710 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defthms.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-lemmas.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-init.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/utilities.o
> | start address -T 0x13ee2c80 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/utilities.o
> | start address -T 0x137c4000 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-init.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-theories.o
> | start address -T 0x137caaa0 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-theories.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-definitions.o
> | start address -T 0x13effc18 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-definitions.o
> | start address -T 0x1171a000 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-lemmas.o
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o
> | start address -T 0x117d58d8 Finished loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o
> |
> | Summary
> | Form: ( INCLUDE-BOOK "tiny" ...)
> | Rules: NIL
> | Time: 2.13 seconds (prove: 0.00, print: 0.00, other: 2.13)
> | Compiling
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/t...@expansion.lsp.
> | End of Pass 1.
> |
> | ;; Note: Tail-recursive call of COPY-TO-TINY-STATE-MEM was replaced by
> iteration.
> | ;; Note: Tail-recursive call of TINY was replaced by iteration.
> | ;; Note: Tail-recursive call of LOAD-MEMORY-BLOCK was replaced by
> iteration.
> | ;; Note: Tail-recursive call of LOAD-MEMORY was replaced by iteration.
> | ;; Note: Tail-recursive call of PROGRAM-LOADED was replaced by iteration.
> | ;; Note: Tail-recursive call of REMAINDER-PROG-RESULT was replaced by
> iteration.
> | ;; Note: Tail-recursive call of MOD-LOOP-REPEAT-INDUCT was replaced by
> iteration.
> | ;; Note: Tail-recursive call of SUB1-ADD1-CDR was replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY was replaced
> by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY-BLOCK was
> replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::COPY-TO-TINY-STATE-MEM
> was replaced by iteration.[SGC for 16 SYMBOL pages..(41709
> writable)..(T=8).GC finished]
> |
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::TINY was replaced by
> iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY-BLOCK was
> replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY was replaced
> by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::PROGRAM-LOADED was
> replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::REMAINDER-PROG-RESULT was
> replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::MOD-LOOP-REPEAT-INDUCT
> was replaced by iteration.
> | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::SUB1-ADD1-CDR was
> replaced by iteration.
> | End of Pass 2.
> | OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> | Finished compiling
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.o.
> | Loading
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.o
> |
> | Error: The assertion tp&~tp on line 181 of sfaslelf.c in function
> relocate failed
> | Fast links are on: do (si::use-fast-links nil) for debugging
> | Error signalled by LOAD-COMPILED.
> | Backtrace: funcall > system:top-level > eval > lp > certify-book-fn >
> compile-certified-file > load-compiled > load >
> 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
> /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.lisp
> make[5]: *** [tiny.cert] Error 1
> make[5]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> make[4]: *** [all] Error 2
> make[4]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib'
> make[3]: *** [top] Error 1
> make[3]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic'
> make[2]: *** [symbolic] Error 2
> make[2]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books'
> Command exited with non-zero status 2
> 9577.27user 497.96system 2:48:27elapsed 99%CPU (0avgtext+0avgdata
> 0maxresident)k
> 1104inputs+922608outputs (0major+54693346minor)pagefaults 0swaps
> make: *** [debian/test.log] Error 2
> dpkg-buildpackage: error: debian/rules build gave error exit status 2
> make[1]: *** [all] Error 2
> make[1]: Leaving directory
> `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books'
> ────────────────────────────────────────────────────────────────────────────────
> Build finished at 20100918-0201
> FAILED [dpkg-buildpackage died]
> ────────────────────────────────────────────────────────────────────────────────
> Purging
> /var/lib/schroot/mount/sid-powerpc-sbuild-699cced5-c852-43dd-80ce-58440e6b809c/build/buildd-acl2_4.1-1-powerpc-PFTGT1
> Not removing build depends: cloned chroot in use
> ────────────────────────────────────────────────────────────────────────────────
> Finished at 20100918-0201
> Build needed 03:29:23, 521324k disc space
signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 4.1-2
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:
acl2-books-certs_4.1-2_all.deb
to main/a/acl2/acl2-books-certs_4.1-2_all.deb
acl2-books-source_4.1-2_all.deb
to main/a/acl2/acl2-books-source_4.1-2_all.deb
acl2-books_4.1-2_i386.deb
to main/a/acl2/acl2-books_4.1-2_i386.deb
acl2-doc_4.1-2_all.deb
to main/a/acl2/acl2-doc_4.1-2_all.deb
acl2-emacs_4.1-2_all.deb
to main/a/acl2/acl2-emacs_4.1-2_all.deb
acl2-infix-source_4.1-2_all.deb
to main/a/acl2/acl2-infix-source_4.1-2_all.deb
acl2-infix_4.1-2_i386.deb
to main/a/acl2/acl2-infix_4.1-2_i386.deb
acl2-source_4.1-2_all.deb
to main/a/acl2/acl2-source_4.1-2_all.deb
acl2_4.1-2.debian.tar.gz
to main/a/acl2/acl2_4.1-2.debian.tar.gz
acl2_4.1-2.dsc
to main/a/acl2/acl2_4.1-2.dsc
acl2_4.1-2_i386.deb
to main/a/acl2/acl2_4.1-2_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 597...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 23 Sep 2010 12:44:54 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 4.1-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library
certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library
source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix
source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 597278
Changes:
acl2 (4.1-2) unstable; urgency=low
.
* build-dep latest gcl
* Bug fix: "FTBFS (powerpc): ls: cannot access
tiny.cert: No such file or directory", thanks to Philipp Kern (Closes:
#597278).
Checksums-Sha1:
162718d85aac190a647379a0b25456c07856b236 1194 acl2_4.1-2.dsc
e6231206f43b24c5fe207d0166d21146363735fd 17556 acl2_4.1-2.debian.tar.gz
7062ec0fb4065428842d9fcece9742eb423a29c1 3033562 acl2-source_4.1-2_all.deb
9eaf1cdc3d471aabc90f0adf10b0714a05dd2674 58472 acl2-emacs_4.1-2_all.deb
e330319c5a3388cf0f63ad8273146a36762266c4 89398 acl2-infix-source_4.1-2_all.deb
fb7cf0fd5b063f5d1d1f058e0f858ae03ac0992b 5309414
acl2-books-source_4.1-2_all.deb
2ee7ea6c66e53a8399f4d9b5becdf059f2481de5 2019226 acl2-books-certs_4.1-2_all.deb
ed1356f330c04cd47a483ccd645555907451f3d0 2837400 acl2-doc_4.1-2_all.deb
59ef0190f62bc61180fb35864c78b5b9b341efdf 21863902 acl2_4.1-2_i386.deb
c920ea843224e460f3f340bd0fe26b7d81419d70 390924 acl2-infix_4.1-2_i386.deb
b75365b6115a717253d71884cbc12bea6e6ba561 34182300 acl2-books_4.1-2_i386.deb
Checksums-Sha256:
f1d653c4e4a148cdeb1cbb6de32023e4acc620328f9da7d4bb1c71591e2ecb4b 1194
acl2_4.1-2.dsc
49186e8dd220ae474d004a57df342a69aa40e7e5dc5548165f1e6b2efdd78005 17556
acl2_4.1-2.debian.tar.gz
2070ba233a74af6bd2dff6326ad00561a7f7eb4a450111d92317f0ac86149688 3033562
acl2-source_4.1-2_all.deb
170aa305833a2206faf5746a1f469751b1fc23a5de9245f88251e49e94a4de3a 58472
acl2-emacs_4.1-2_all.deb
2175a703260cf933249b7167767eb3e2fd18263d164a0019fea3c5c73b775726 89398
acl2-infix-source_4.1-2_all.deb
2cc03d8872f0e00d019d8a4b5ca7a8ca5484db4f7fa4c05e61fcee22dc68c567 5309414
acl2-books-source_4.1-2_all.deb
64ac60c1484c5dcd151128f369493b0ee410c830667a27f737bed84a99323eb4 2019226
acl2-books-certs_4.1-2_all.deb
c26e49303c5b4b6709b45569d0e1b6508eff3cd2fcb8c6323925ec7d5a958356 2837400
acl2-doc_4.1-2_all.deb
418d40f65c751171ede611cf180b52c08e595b3df1eb5d13ef68ed3eab999326 21863902
acl2_4.1-2_i386.deb
f3768ed884cff19ab7f6ea9407c05af9fdc7b73248b931e55a3917795c89e956 390924
acl2-infix_4.1-2_i386.deb
988a96d816f80362a3bab455c55acf1f19faf8aa4c9e695c9463c9edc04ee944 34182300
acl2-books_4.1-2_i386.deb
Files:
744d05e6c858bccdc1463a06bde99d86 1194 math optional acl2_4.1-2.dsc
cae24030515d0d121af3537ced1d4a18 17556 math optional acl2_4.1-2.debian.tar.gz
20a3edc4aaa5c4682d4173972687c2e0 3033562 math optional
acl2-source_4.1-2_all.deb
71724ad0651d6bfd14ecfbb2fd4905c1 58472 math optional acl2-emacs_4.1-2_all.deb
afc0ec96a0a8f2a84837e91833be96d1 89398 math optional
acl2-infix-source_4.1-2_all.deb
0fdd2d2e413b65ad5bbaa692636977b9 5309414 math optional
acl2-books-source_4.1-2_all.deb
c2efa3f956da2c0d0f2370ed3c5dbce6 2019226 math optional
acl2-books-certs_4.1-2_all.deb
793ab79cd67790135af1585b59702bbc 2837400 doc optional acl2-doc_4.1-2_all.deb
78dde9510f71cdb59886fbf9105da236 21863902 math optional acl2_4.1-2_i386.deb
a384ca97590a846a34a1bdb448ef8184 390924 math optional acl2-infix_4.1-2_i386.deb
194f05039bbce6e66e577e9e57712f4d 34182300 math optional
acl2-books_4.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkyeUv4ACgkQczG1wFfwRdzdIACfV89OgXndgx7u4B54mWKe82OO
yX4AoI1csYY+nTtab+fycfQ/O2nD8kKo
=XlEM
-----END PGP SIGNATURE-----
--- End Message ---
