Package: acl2; Maintainer for acl2 is Camm Maguire <camm@debian.org>; Source for acl2 is src:acl2 (PTS, buildd, popcon).
Reported by: Lucas Nussbaum <lucas@lucas-nussbaum.net>
Date: Fri, 8 Aug 2008 14:57:13 UTC
Severity: serious
Found in version acl2/3.1-1
Fixed in version acl2/3.4-1
Done: Camm Maguire <camm@enhanced.com>
Bug is archived. No further changes may be made.
View this report as an mbox folder, status mbox, maintainer mbox
Report forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(full text, mbox, link).
Acknowledgement sent to Lucas Nussbaum <lucas@lucas-nussbaum.net>:
New Bug report received and forwarded. Copy sent to Camm Maguire <camm@enhanced.com>.
(full text, mbox, link).
Message #5 received at submit@bugs.debian.org (full text, mbox, reply):
Package: acl2
Version: 3.1-1
Severity: serious
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20080808 qa-ftbfs
Justification: FTBFS on i386
Hi,
During a rebuild of all packages in a lenny chroot, your package failed
to build on i386.
Relevant part:
> make[2]: Entering directory `/build/user-acl2_3.1-1-amd64-OEKU74/acl2-3.1-1'
> rm -f workxxx
> rm -f acl2-fns.o acl2-fns.lbin acl2-fns.sbin acl2-fns.fasl acl2-fns.wfasl \
> acl2-fns.fas acl2-fns.lib acl2-fns.sparcf acl2-fns.ufsl acl2-fns.x86f \
> acl2-fns.dfsl
> echo '(load "init.lisp")' > workxxx
> echo '(acl2::compile-acl2 t)' >> workxxx
> echo '(acl2::exit-lisp)' >> workxxx
> gcl < workxxx
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Nov 30 2007 12:10:09
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to /tmp/
>
> >
> Loading init.lisp
> Loading acl2r.lisp
> Finished loading acl2r.lisp
> Loading acl2-init.lisp
> Loading acl2.lisp
> Loading acl2-fns.lisp
> Finished loading acl2-fns.lisp
> Compiling acl2-fns.lisp.
> [GC for 211 CONS pages..(T=0).GC finished]
> End of Pass 1.
>
> ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
> ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of REV1@ was replaced by iteration.
> ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling acl2-fns.lisp.
> Loading acl2-fns.o
> start address -T 0x87e8c00 Finished loading acl2-fns.o
> [GC for 211 CONS pages..(T=0).GC finished]
> Finished loading acl2.lisp
> Finished loading acl2-init.lisp
> Finished loading init.lisp
> T
>
> >[GC for 665 CONTIGUOUS-BLOCKS pages..(T=0).GC finished]
> [GC for 665 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Nov 30 2007 12:10:09
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to /tmp/
>
> >
> NIL
>
> >make[3]: Entering directory `/build/user-acl2_3.1-1-amd64-OEKU74/acl2-3.1-1'
> make[3]: Leaving directory `/build/user-acl2_3.1-1-amd64-OEKU74/acl2-3.1-1'
> rm -f workxxx
> make[2]: Leaving directory `/build/user-acl2_3.1-1-amd64-OEKU74/acl2-3.1-1'
> rm -f workxxx
> rm -f worklispext
> echo -n "" >> osaved_acl2
> rm -f osaved_acl2
> echo '(load "init.lisp")' > workxxx
> echo '(in-package "ACL2")' >> workxxx
> echo '(save-acl2 (quote (initialize-acl2 (quote include-book) acl2::*acl2-pass-2-files*)) "saved_acl2")' >> workxxx
> echo '(exit-lisp)' >> workxxx
> gcl < workxxx
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Nov 30 2007 12:10:09
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to /tmp/
>
> >
> Loading init.lisp
> Loading acl2r.lisp
> Finished loading acl2r.lisp
> Loading acl2-init.lisp
> Loading acl2.lisp
> Loading acl2-fns.lisp
> Finished loading acl2-fns.lisp
> Compiling acl2-fns.lisp.
> [GC for 211 CONS pages..(T=1).GC finished]
> End of Pass 1.
>
> ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
> ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
> ;; Note: Tail-recursive call of REV1@ was replaced by iteration.
> ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling acl2-fns.lisp.
> Loading acl2-fns.o
> start address -T 0x87e8c00 Finished loading acl2-fns.o
> [GC for 211 CONS pages..(T=0).GC finished]
> Finished loading acl2.lisp
> Finished loading acl2-init.lisp
> Finished loading init.lisp
> T
>
> >[GC for 665 CONTIGUOUS-BLOCKS pages..(T=0).GC finished]
> [GC for 665 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Nov 30 2007 12:10:09
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to /tmp/
>
> >
> #<"ACL2" package>
>
> ACL2>
> Loading axioms.o
> start address -T 0x87ec2a0 Finished loading axioms.o
> Loading basis.o
> [GC for 32 STRING pages..(T=1).GC finished]
> start address -T 0x8d24000 Finished loading basis.o
> Loading translate.o
> [GC for 32 STRING pages..(T=1).GC finished]
> start address -T 0x8d4b320 Finished loading translate.o
> Loading type-set-a.o
> start address -T 0x8d7f7c0 Finished loading type-set-a.o
> Loading linear-a.o
> start address -T 0x8d18000 Finished loading linear-a.o
> Loading type-set-b.o
> start address -T 0x8d8e000 Finished loading type-set-b.o
> Loading linear-b.o
> start address -T 0x881db20 Finished loading linear-b.o
> Loading non-linear.o
> start address -T 0x8831b00 Finished loading non-linear.o
> Loading rewrite.o
> [GC for 32 STRING pages..(T=0).GC finished]
> start address -T 0x8e71000 Finished loading rewrite.o
> Loading simplify.o
> start address -T 0x8df7000 Finished loading simplify.o
> Loading bdd.o
> [GC for 32 STRING pages..(T=0).GC finished]
> start address -T 0x8db40c0 Finished loading bdd.o
> Loading other-processes.o
> [GC for 32 STRING pages..(T=1).GC finished]
> start address -T 0x8da76a0 Finished loading other-processes.o
> Loading induct.o
> start address -T 0x8ebb860 Finished loading induct.o
> Loading history-management.o
> [GC for 1819 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1819 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 32 STRING pages..(T=0).GC finished]
> start address -T 0x8f04000 Finished loading history-management.o
> Loading prove.o
> start address -T 0x8ea0a40 Finished loading prove.o
> Loading defuns.o
> start address -T 0x8fc1000 Finished loading defuns.o
> Loading proof-checker-pkg.lisp
> Finished loading proof-checker-pkg.lisp
> Loading proof-checker-a.o
> start address -T 0x8d6ae80 Finished loading proof-checker-a.o
> Loading defthm.o
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1852 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> start address -T 0x8f82280 Finished loading defthm.o
> Loading other-events.o
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 1915 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2037 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=1).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 2251 CONTIGUOUS-BLOCKS pages..(T=2).GC finished]
> [GC for 42 STRING pages..(T=1).GC finished]
> [GC for 42 STRING pages..(T=1).GC finished]
> start address -T 0x9071000 Finished loading other-events.o
> Loading ld.o
> start address -T 0x902d000 Finished loading ld.o
> Loading proof-checker-b.o
> start address -T 0x91c1000 Finished loading proof-checker-b.o
> Loading tutorial.o
> start address -T 0x866cfd0 Finished loading tutorial.o
> Loading interface-raw.o
> start address -T 0x8ec95a0 Finished loading interface-raw.o
> Loading defpkgs.lisp
> [GC for 52 STRING pages..(T=0).GC finished]
> [GC for 52 STRING pages..(T=1).GC finished]
> Finished loading defpkgs.lisp
> [GC for 62 STRING pages..(T=0).GC finished]
> [GC for 62 STRING pages..(T=2).GC finished]
> [GC for 62 STRING pages..(T=1).GC finished]
>
> ACL2 loading
> '((IN-PACKAGE "ACL2")
> (DEFCONST *COMMON-LISP-SYMBOLS-FROM-MAIN-LISP-PACKAGE*
> '(&ALLOW-OTHER-KEYS *PRINT-MISER-WIDTH*
> &AUX *PRINT-PPRINT-DISPATCH*
> &BODY *PRINT-PRETTY* &ENVIRONMENT ...))
> (DEFCONST
> *ACL2-FILES*
> '("axioms" "basis" "translate" "type-set-a"
> "linear-a" "type-set-b" "linear-b" ...)
> "*acl2-files* is the list of all the files necessary to build
> ACL2 from scratch.")
> (DEFCONST *COMMON-LISP-SPECIALS-AND-CONSTANTS*
> '(* ** *** *BREAK-ON-SIGNALS*
> *COMPILE-FILE-PATHNAME*
> *COMPILE-FILE-TRUENAME*
> *COMPILE-PRINT* ...))
> (DEFCONST *STOBJ-INLINE-DECLARE* '(DECLARE #))
> (DEFMACRO MAKE-PACKAGE-ENTRY
> (&KEY NAME IMPORTS HIDDEN-P
> BOOK-PATH DEFPKG-EVENT-FORM TTERM)
> (CONS 'LIST* (CONS NAME #)))
> (DEFMACRO FIND-PACKAGE-ENTRY
> (NAME KNOWN-PACKAGE-ALIST)
> (CONS 'ASSOC-EQUAL (CONS NAME #)))
> ...).
>
> "ACL2"
> *COMMON-LISP-SYMBOLS-FROM-MAIN-LISP-PACKAGE*
> *ACL2-FILES*
> *COMMON-LISP-SPECIALS-AND-CONSTANTS*
> *STOBJ-INLINE-DECLARE*
> MAKE-PACKAGE-ENTRY
> FIND-PACKAGE-ENTRY
> PACKAGE-ENTRY-NAME
> PACKAGE-ENTRY-IMPORTS
> PACKAGE-ENTRY-HIDDEN-P
> PACKAGE-ENTRY-BOOK-PATH
> PACKAGE-ENTRY-DEFPKG-EVENT-FORM
> PACKAGE-ENTRY-TTERM
> FIND-NON-HIDDEN-PACKAGE-ENTRY
> REMOVE-PACKAGE-ENTRY
> CHANGE-PACKAGE-ENTRY-HIDDEN-P
> PROGRAMMING
> MISCELLANEOUS
> *STANDARD-CO*
> *STANDARD-OI*
> *STANDARD-CI*
> NIL
> T
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7f6a0 Finished loading /tmp/gazonk_596_0.o
> IFF
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86691b0 Finished loading /tmp/gazonk_596_0.o
> BOOLEANP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=2).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db3fa0 Finished loading /tmp/gazonk_596_0.o
> IMPLIES
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1fc0 Finished loading /tmp/gazonk_596_0.o
> NOT
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86b0300 Finished loading /tmp/gazonk_596_0.o
> HIDE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c7000 Finished loading /tmp/gazonk_596_0.o
> REWRITE-EQUIV
> REAL/RATIONALP
> COMPLEX/COMPLEX-RATIONALP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e18c80 Finished loading /tmp/gazonk_596_0.o
> EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1640 Finished loading /tmp/gazonk_596_0.o
> TRUE-LISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=1).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c0910 Finished loading /tmp/gazonk_596_0.o
> LIST-MACRO
> LIST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x91c0d60 Finished loading /tmp/gazonk_596_0.o
> AND-MACRO
> AND
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c03b0 Finished loading /tmp/gazonk_596_0.o
> OR-MACRO
> OR
> -
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d179a0 Finished loading /tmp/gazonk_596_0.o
> INTEGER-ABS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906ba60 Finished loading /tmp/gazonk_596_0.o
> XXXJOIN
> +
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1430 Finished loading /tmp/gazonk_596_0.o
> LEN
> [GC for 72 STRING pages..(T=1).GC finished]
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9208ba0 Finished loading /tmp/gazonk_596_0.o
> LENGTH
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d82360 Finished loading /tmp/gazonk_596_0.o
> ACL2-COUNT
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe0940 Finished loading /tmp/gazonk_596_0.o
> COND-CLAUSESP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906b2e0 Finished loading /tmp/gazonk_596_0.o
> COND-MACRO
> COND
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1370 Finished loading /tmp/gazonk_596_0.o
> EQLABLEP
> NIL
> NIL
> [GC for 72 STRING pages..(T=1).GC finished]
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d6ac40 Finished loading /tmp/gazonk_596_0.o
> EQLABLE-LISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c0630 Finished loading /tmp/gazonk_596_0.o
> ATOM
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d6a7b0 Finished loading /tmp/gazonk_596_0.o
> MAKE-CHARACTER-LIST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d82a10 Finished loading /tmp/gazonk_596_0.o
> EQLABLE-ALISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d17700 Finished loading /tmp/gazonk_596_0.o
> ALISTP
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e13180 Finished loading /tmp/gazonk_596_0.o
> ACONS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x92082a0 Finished loading /tmp/gazonk_596_0.o
> ENDP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x92086a0 Finished loading /tmp/gazonk_596_0.o
> MUST-BE-EQUAL
> MBE
> MBT
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e12820 Finished loading /tmp/gazonk_596_0.o
> MEMBER-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7ec40 Finished loading /tmp/gazonk_596_0.o
> UNION-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d6a040 Finished loading /tmp/gazonk_596_0.o
> SUBSETP-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e12f90 Finished loading /tmp/gazonk_596_0.o
> SYMBOL-LISTP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d23ae0 Finished loading /tmp/gazonk_596_0.o
> NULL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7e320 Finished loading /tmp/gazonk_596_0.o
> MEMBER-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d23140 Finished loading /tmp/gazonk_596_0.o
> SUBSETP-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1080 Finished loading /tmp/gazonk_596_0.o
> SYMBOL-ALISTP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x881d580 Finished loading /tmp/gazonk_596_0.o
> ASSOC-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d235e0 Finished loading /tmp/gazonk_596_0.o
> ASSOC-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d23b60 Finished loading /tmp/gazonk_596_0.o
> ASSOC-EQ-EQUAL-ALISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe0340 Finished loading /tmp/gazonk_596_0.o
> ASSOC-EQ-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86be580 Finished loading /tmp/gazonk_596_0.o
> NO-DUPLICATESP-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fdf960 Finished loading /tmp/gazonk_596_0.o
> STRIP-CARS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c74c0 Finished loading /tmp/gazonk_596_0.o
> EQL
> <=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7e760 Finished loading /tmp/gazonk_596_0.o
> =
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=2).GC finished]
> start address -T 0x881cb60 Finished loading /tmp/gazonk_596_0.o
> /=
> >
> >=
> ZERO-TEST-IDIOMS
> INT=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fdfd80 Finished loading /tmp/gazonk_596_0.o
> ZP
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc9d20 Finished loading /tmp/gazonk_596_0.o
> ZIP
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc9340 Finished loading /tmp/gazonk_596_0.o
> NTH
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86bdf60 Finished loading /tmp/gazonk_596_0.o
> CHAR
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe0800 Finished loading /tmp/gazonk_596_0.o
> PROPER-CONSP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcbd80 Finished loading /tmp/gazonk_596_0.o
> IMPROPER-CONSP
> *
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9046d80 Finished loading /tmp/gazonk_596_0.o
> CONJUGATE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d239f0 Finished loading /tmp/gazonk_596_0.o
> PROG2$
> OTHER
> ACL2-HELP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c30f0 Finished loading /tmp/gazonk_596_0.o
> TIME$
> /
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=2).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9208980 Finished loading /tmp/gazonk_596_0.o
> FIX
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7f0d0 Finished loading /tmp/gazonk_596_0.o
> FORCE
> *FORCE-XNUME*
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9208af0 Finished loading /tmp/gazonk_596_0.o
> IMMEDIATE-FORCE-MODEP
> *IMMEDIATE-FORCE-MODEP-XNUME*
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e18f20 Finished loading /tmp/gazonk_596_0.o
> CASE-SPLIT
> NIL
> DISABLE-FORCING
> ENABLE-FORCING
> DISABLE-IMMEDIATE-FORCE-MODEP
> ENABLE-IMMEDIATE-FORCE-MODEP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9046cb0 Finished loading /tmp/gazonk_596_0.o
> SYNP
> [GC for 28 FIXNUM pages..(T=1).GC finished]
> SYNTAXP
> SYNTAXP-EXAMPLES
> [GC for 28 FIXNUM pages..(T=2).GC finished]
> BIND-FREE
> BIND-FREE-EXAMPLES
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882d060 Finished loading /tmp/gazonk_596_0.o
> MEMBER
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882da40 Finished loading /tmp/gazonk_596_0.o
> NO-DUPLICATESP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882d540 Finished loading /tmp/gazonk_596_0.o
> ASSOC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dca080 Finished loading /tmp/gazonk_596_0.o
> R-EQLABLE-ALISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db20c0 Finished loading /tmp/gazonk_596_0.o
> RASSOC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c3720 Finished loading /tmp/gazonk_596_0.o
> RASSOC-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db3b90 Finished loading /tmp/gazonk_596_0.o
> R-SYMBOL-ALISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db2640 Finished loading /tmp/gazonk_596_0.o
> RASSOC-EQ
> *STANDARD-CHARS*
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=2).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c3c00 Finished loading /tmp/gazonk_596_0.o
> STANDARD-CHAR-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c7940 Finished loading /tmp/gazonk_596_0.o
> STANDARD-CHAR-LISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe00b0 Finished loading /tmp/gazonk_596_0.o
> CHARACTER-LISTP
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc9840 Finished loading /tmp/gazonk_596_0.o
> STRING
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9047360 Finished loading /tmp/gazonk_596_0.o
> ALPHA-CHAR-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=2).GC finished]
> start address -T 0x86bdc00 Finished loading /tmp/gazonk_596_0.o
> UPPER-CASE-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9046900 Finished loading /tmp/gazonk_596_0.o
> LOWER-CASE-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f6a980 Finished loading /tmp/gazonk_596_0.o
> CHAR-UPCASE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f6a380 Finished loading /tmp/gazonk_596_0.o
> CHAR-DOWNCASE
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86b0420 Finished loading /tmp/gazonk_596_0.o
> STRING-DOWNCASE1
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=1).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcaea0 Finished loading /tmp/gazonk_596_0.o
> STRING-DOWNCASE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcb540 Finished loading /tmp/gazonk_596_0.o
> STRING-UPCASE1
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8830be0 Finished loading /tmp/gazonk_596_0.o
> STRING-UPCASE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db1660 Finished loading /tmp/gazonk_596_0.o
> OUR-DIGIT-CHAR-P
> DIGIT-CHAR-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=2).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcb920 Finished loading /tmp/gazonk_596_0.o
> CHAR-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f6a190 Finished loading /tmp/gazonk_596_0.o
> ATOM-LISTP
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f6a080 Finished loading /tmp/gazonk_596_0.o
> IFIX
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fc0c50 Finished loading /tmp/gazonk_596_0.o
> RFIX
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d17ca0 Finished loading /tmp/gazonk_596_0.o
> REALFIX
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db1f60 Finished loading /tmp/gazonk_596_0.o
> NFIX
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dca560 Finished loading /tmp/gazonk_596_0.o
> STRING-EQUAL1
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f699a0 Finished loading /tmp/gazonk_596_0.o
> STRING-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e14260 Finished loading /tmp/gazonk_596_0.o
> STANDARD-STRING-ALISTP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8830240 Finished loading /tmp/gazonk_596_0.o
> ASSOC-STRING-EQUAL
> CAAR
> CADR
> CDAR
> [GC for 72 STRING pages..(T=2).GC finished]
> CDDR
> CAAAR
> CAADR
> CADAR
> CADDR
> CDAAR
> CDADR
> CDDAR
> CDDDR
> CAAAAR
> CAAADR
> CAADAR
> CAADDR
> CADAAR
> CADADR
> CADDAR
> CADDDR
> CDAAAR
> CDAADR
> CDADAR
> CDADDR
> CDDAAR
> CDDADR
> CDDDAR
> CDDDDR
> E0-ORDINALP
> E0-ORD-<
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db2ae0 Finished loading /tmp/gazonk_596_0.o
> NATP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe1850 Finished loading /tmp/gazonk_596_0.o
> POSP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcbca0 Finished loading /tmp/gazonk_596_0.o
> O-FINP
> O-INFP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8831220 Finished loading /tmp/gazonk_596_0.o
> O-FIRST-EXPT
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e14a80 Finished loading /tmp/gazonk_596_0.o
> O-FIRST-COEFF
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c6c00 Finished loading /tmp/gazonk_596_0.o
> O-RST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e12c00 Finished loading /tmp/gazonk_596_0.o
> O<G
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c62a0 Finished loading /tmp/gazonk_596_0.o
> O<
> [GC for 72 STRING pages..(T=1).GC finished]
> O>
> O<=
> O>=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e13a20 Finished loading /tmp/gazonk_596_0.o
> O-P
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e14640 Finished loading /tmp/gazonk_596_0.o
> MAKE-ORD
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c5e80 Finished loading /tmp/gazonk_596_0.o
> LIST*-MACRO
> LIST*
> *MAIN-LISP-PACKAGE-NAME*
> *INITIAL-KNOWN-PACKAGE-ALIST*
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d7eb30 Finished loading /tmp/gazonk_596_0.o
> HARD-ERROR
> [GC for 72 STRING pages..(T=2).GC finished]
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86b0800 Finished loading /tmp/gazonk_596_0.o
> ILLEGAL
> INTERN
> INTERN$
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c0bb0 Finished loading /tmp/gazonk_596_0.o
> KEYWORDP
> NIL
> NIL
> NIL
> *PKG-WITNESS-NAME*
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8edece0 Finished loading /tmp/gazonk_596_0.o
> MEMBER-SYMBOL-NAME
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> NIL
> PKG-WITNESS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c5740 Finished loading /tmp/gazonk_596_0.o
> BINARY-APPEND
> APPEND
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c52c0 Finished loading /tmp/gazonk_596_0.o
> STRING-APPEND
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c5b40 Finished loading /tmp/gazonk_596_0.o
> STRING-LISTP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8edf320 Finished loading /tmp/gazonk_596_0.o
> STRING-APPEND-LST
> CONCATENATE
> 1+
> 1-
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906a4e0 Finished loading /tmp/gazonk_596_0.o
> REMOVE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9069500 Finished loading /tmp/gazonk_596_0.o
> REMOVE-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906aa60 Finished loading /tmp/gazonk_596_0.o
> REMOVE-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9069a00 Finished loading /tmp/gazonk_596_0.o
> REMOVE1
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=1).GC finished]
> start address -T 0x8846f40 Finished loading /tmp/gazonk_596_0.o
> REMOVE1-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8ede760 Finished loading /tmp/gazonk_596_0.o
> REMOVE1-EQUAL
> PAIRLIS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8846aa0 Finished loading /tmp/gazonk_596_0.o
> PAIRLIS$
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8847460 Finished loading /tmp/gazonk_596_0.o
> REMOVE-DUPLICATES-EQL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=2).GC finished]
> start address -T 0x8847a00 Finished loading /tmp/gazonk_596_0.o
> REMOVE-DUPLICATES
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x88463a0 Finished loading /tmp/gazonk_596_0.o
> REMOVE-DUPLICATES-EQUAL
> EVENTS
> DOCUMENTATION
> HISTORY
> FIRST
> SECOND
> THIRD
> FOURTH
> FIFTH
> SIXTH
> SEVENTH
> EIGHTH
> NINTH
> TENTH
> REST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d21930 Finished loading /tmp/gazonk_596_0.o
> IDENTITY
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906a100 Finished loading /tmp/gazonk_596_0.o
> REVAPPEND
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=1).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x906af00 Finished loading /tmp/gazonk_596_0.o
> REVERSE
> *VALID-OUTPUT-NAMES*
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d21a00 Finished loading /tmp/gazonk_596_0.o
> SET-DIFFERENCE-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e17200 Finished loading /tmp/gazonk_596_0.o
> WITH-OUTPUT-FN
> WITH-OUTPUT
> [GC for 72 STRING pages..(T=2).GC finished]
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8845f60 Finished loading /tmp/gazonk_596_0.o
> STRIP-CDRS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8ebb2e0 Finished loading /tmp/gazonk_596_0.o
> MUTUAL-RECURSION-GUARDP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eba840 Finished loading /tmp/gazonk_596_0.o
> COLLECT-CADRS-WHEN-CAR-EQ
> VALUE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d229e0 Finished loading /tmp/gazonk_596_0.o
> VALUE-TRIPLE-FN
> VALUE-TRIPLE
> ASSERT-EVENT
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8ebad80 Finished loading /tmp/gazonk_596_0.o
> XD-NAME
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e18240 Finished loading /tmp/gazonk_596_0.o
> DEFUND-NAME-LIST
> MUTUAL-RECURSION
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dcac90 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> [GC for 72 STRING pages..(T=2).GC finished]
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f679a0 Finished loading /tmp/gazonk_596_0.o
> (PSEUDO-TERMP PSEUDO-TERM-LISTP)
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8fe0e30 Finished loading /tmp/gazonk_596_0.o
> PSEUDO-TERM-LIST-LISTP
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e18900 Finished loading /tmp/gazonk_596_0.o
> ADD-TO-SET-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eb9da0 Finished loading /tmp/gazonk_596_0.o
> ADD-TO-SET-EQL
> VARIABLEP
> NVARIABLEP
> FQUOTEP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f69ee0 Finished loading /tmp/gazonk_596_0.o
> QUOTEP
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eba510 Finished loading /tmp/gazonk_596_0.o
> KWOTE
> UNQUOTE
> FFN-SYMB
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x9047170 Finished loading /tmp/gazonk_596_0.o
> FN-SYMB
> FARGS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x881c5c0 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882ec20 Finished loading /tmp/gazonk_596_0.o
> (ALL-VARS1 ALL-VARS1-LST)
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c1e00 Finished loading /tmp/gazonk_596_0.o
> ALL-VARS
> TRANSLATE-AND-TEST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c29e0 Finished loading /tmp/gazonk_596_0.o
> INTERSECTP-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882fc80 Finished loading /tmp/gazonk_596_0.o
> INTERSECTP-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c1100 Finished loading /tmp/gazonk_596_0.o
> MAKE-FMT-BINDINGS
> MSG
> CHECK-VARS-NOT-FREE
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c20e0 Finished loading /tmp/gazonk_596_0.o
> ER-PROGN-FN
> ER-PROGN
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882e240 Finished loading /tmp/gazonk_596_0.o
> LEGAL-CASE-CLAUSESP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c06c0 Finished loading /tmp/gazonk_596_0.o
> CASE-TEST
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eb7da0 Finished loading /tmp/gazonk_596_0.o
> CASE-LIST
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eb8520 Finished loading /tmp/gazonk_596_0.o
> CASE-LIST-CHECK
> CASE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eb9900 Finished loading /tmp/gazonk_596_0.o
> POSITION-EQUAL-AC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x87e71c0 Finished loading /tmp/gazonk_596_0.o
> POSITION-AC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=1).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882e7c0 Finished loading /tmp/gazonk_596_0.o
> POSITION-EQUAL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eb8d80 Finished loading /tmp/gazonk_596_0.o
> POSITION-EQ-AC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882f780 Finished loading /tmp/gazonk_596_0.o
> POSITION-EQ
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x882f220 Finished loading /tmp/gazonk_596_0.o
> POSITION
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=1).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d69380 Finished loading /tmp/gazonk_596_0.o
> NONNEGATIVE-INTEGER-QUOTIENT
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x87e7ba0 Finished loading /tmp/gazonk_596_0.o
> LEGAL-LET*-P
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d68900 Finished loading /tmp/gazonk_596_0.o
> LET*-MACRO
> LET*
> PROGN
> PROGN!
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e15200 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e16720 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc8760 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=2).GC finished]
> start address -T 0x8d669c0 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc8320 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f68460 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d69080 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c7140 Finished loading /tmp/gazonk_596_0.o
> [GC for 72 STRING pages..(T=2).GC finished]
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f68140 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8eba220 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8db1a40 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e13660 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c1880 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d20fe0 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d21fc0 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x87e8760 Finished loading /tmp/gazonk_596_0.o
> LOGNOT
> NIL
> NIL
> NIL
> NIL
> NIL
> PROOF-OF-WELL-FOUNDEDNESS
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8819f00 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x87e6cc0 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x881da10 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e15840 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8ede340 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x87e7740 Finished loading /tmp/gazonk_596_0.o
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f693a0 Finished loading /tmp/gazonk_596_0.o
> ASH
> NIL
> NIL
> NIL
> NIL
> CHARACTERS
> NIL
> NIL
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d21540 Finished loading /tmp/gazonk_596_0.o
> CHAR<
> Compiling /tmp/gazonk_596_0.lsp.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc7440 Finished loading /tmp/gazonk_596_0.o
> CHAR>
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f688a0 Finished loading /tmp/gazonk_596_0.o
> CHAR<=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8f68ce0 Finished loading /tmp/gazonk_596_0.o
> CHAR>=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc8d60 Finished loading /tmp/gazonk_596_0.o
> STRING<-L
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=2).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e16d80 Finished loading /tmp/gazonk_596_0.o
> STRING<
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8edf760 Finished loading /tmp/gazonk_596_0.o
> STRING>
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x86c25a0 Finished loading /tmp/gazonk_596_0.o
> STRING<=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d67180 Finished loading /tmp/gazonk_596_0.o
> STRING>=
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=3).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8e15ca0 Finished loading /tmp/gazonk_596_0.o
> SYMBOL-<
> NIL
> NIL
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8dc6240 Finished loading /tmp/gazonk_596_0.o
> SUBSTITUTE-AC
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8818e80 Finished loading /tmp/gazonk_596_0.o
> SUBSTITUTE
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
> [GC for 72 STRING pages..(T=1).GC finished]
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_596_0.lsp.
> Loading /tmp/gazonk_596_0.o
> start address -T 0x8d68120 Finished loading /tmp/gazonk_596_0.o
> SUBSETP
> Compiling /tmp/gazonk_596_0.lsp.
> End of Pass 1.
>
> Error: bad test
> Fast links are on: do (si::use-fast-links nil) for debugging
> Error signalled by COMPILER::CTOP-WRITE.
>
> Raw Lisp Break.
> Broken at APPLY. Type :H for Help.
> ACL2>>make[2]: Entering directory `/build/user-acl2_3.1-1-amd64-OEKU74/acl2-3.1-1'
> Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
> make[2]: *** [check_init_ok] Error 1
The full build log is available from:
http://people.debian.org/~lucas/logs/2008/08/08
It is possible that your package builds fine in sid, but you should make sure
that your package also builds fine in lenny before the release.
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 containing a sid i386
environment. Internet was not accessible from the build systems.
--
| Lucas Nussbaum
| lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |
Information forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(full text, mbox, link).
Acknowledgement sent to peter green <plugwash@p10link.net>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(full text, mbox, link).
Message #10 received at 494328@bugs.debian.org (full text, mbox, reply):
my test results lenny's version in lenny: (though I got a different error: "FATAL ERROR: ACL2 does not yet support GCL ANSI. Please use a non-ANSI GCL." sid's version in lenny: FTBFS with Compile FAILED: file acl2-status.txt is missing. lenny's version in sid: FTBFS with Initialization FAILED: acl2-status.txt should contain :INITIALIZED. sid's version in sid: builds fine note: when asked whether I wanted to "Use the work-in-progress ansi build by default?" and whether I wanted to "Use the profiling build by default?" in my lenny chroot I picked the default answer in both cases which was yes. I was not asked those questions in my sid chroot, I dunno if this means the questions were removed or that I answered them at some time in the past. I don't have a clue what to make of theese results other than getting the impression that something really weired is happening
Reply sent to Camm Maguire <camm@enhanced.com>:
You have taken responsibility.
(full text, mbox, link).
Notification sent to Lucas Nussbaum <lucas@lucas-nussbaum.net>:
Bug acknowledged by developer.
(full text, mbox, link).
Message #15 received at 494328-close@bugs.debian.org (full text, mbox, reply):
Source: acl2
Source-Version: 3.4-1
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_3.4-1_all.deb
to pool/main/a/acl2/acl2-books-certs_3.4-1_all.deb
acl2-books-source_3.4-1_all.deb
to pool/main/a/acl2/acl2-books-source_3.4-1_all.deb
acl2-books_3.4-1_i386.deb
to pool/main/a/acl2/acl2-books_3.4-1_i386.deb
acl2-doc_3.4-1_all.deb
to pool/main/a/acl2/acl2-doc_3.4-1_all.deb
acl2-emacs_3.4-1_all.deb
to pool/main/a/acl2/acl2-emacs_3.4-1_all.deb
acl2-infix-source_3.4-1_all.deb
to pool/main/a/acl2/acl2-infix-source_3.4-1_all.deb
acl2-infix_3.4-1_i386.deb
to pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
acl2-source_3.4-1_all.deb
to pool/main/a/acl2/acl2-source_3.4-1_all.deb
acl2_3.4-1.diff.gz
to pool/main/a/acl2/acl2_3.4-1.diff.gz
acl2_3.4-1.dsc
to pool/main/a/acl2/acl2_3.4-1.dsc
acl2_3.4-1_i386.deb
to pool/main/a/acl2/acl2_3.4-1_i386.deb
acl2_3.4.orig.tar.gz
to pool/main/a/acl2/acl2_3.4.orig.tar.gz
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 494328@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <camm@enhanced.com> (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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 24 Aug 2008 21:26:46 +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: 3.4-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
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: 482594 494328
Changes:
acl2 (3.4-1) unstable; urgency=low
.
* New upstream release
* Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to
Lucas Nussbaum (Closes: #494328). New release works around compiler
issue.
* Bug fix: "FTBFS when converted to new source format 3.0 (quilt)",
thanks to hertzog@debian.org</a>; (Closes: #482594). patches ->
dpatches
Checksums-Sha1:
aaccc398e964bcf5ce52595668db9f14d0d9e7f5 1177 acl2_3.4-1.dsc
9326fb97f7a351bc41943bb433d34e98d1dbf84f 8003235 acl2_3.4.orig.tar.gz
ba06fae8e0429c2ff7f05b8fd7167660a5de9830 13765 acl2_3.4-1.diff.gz
2fa77a253b25f54c90be9637afcc93f5e3269d24 2611492 acl2-source_3.4-1_all.deb
3bd893defc5ac27fbe7edcf0338083da7c3f273b 55466 acl2-emacs_3.4-1_all.deb
a5b64dbc0dcacdc726ae24c170da010458831b48 86726 acl2-infix-source_3.4-1_all.deb
0ba627874de2debe3adc642de4838d515c6e29eb 2970558 acl2-books-source_3.4-1_all.deb
a9ddc69e300ad1678637eec207b94e2623b853ab 1297394 acl2-books-certs_3.4-1_all.deb
9dd0c8181842d7844475202186d485a1b7d5a1ee 2407554 acl2-doc_3.4-1_all.deb
b0b425a49e69c9b11bb1a8cae2ff8128d5408717 19363946 acl2_3.4-1_i386.deb
bed59291bcff492d5af0351687e5c567de8a6078 399510 acl2-infix_3.4-1_i386.deb
468e18e5058bba39add6f7b73c847ac1a8d64771 21529886 acl2-books_3.4-1_i386.deb
Checksums-Sha256:
02377fa580c8f888af98be89efab6a42daedaf585195d88659efa795e0c68e58 1177 acl2_3.4-1.dsc
71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe 8003235 acl2_3.4.orig.tar.gz
da89cd3d9a06e7d49f31ac20bb05b67ee60adc50949158000c507b8e370a19c7 13765 acl2_3.4-1.diff.gz
790fd031b60d3b525f3299e611d7d3ccdf9f377e0085c9a4d46f380e5b2ff443 2611492 acl2-source_3.4-1_all.deb
90faf4b396a8dd187af478bfd8a9f9ff6fa94fe85929cde379dbbc46b3bad9b7 55466 acl2-emacs_3.4-1_all.deb
ba3774432ca4a2816f0bbdacabcdc9676350108f3a6661fe886b86512702de91 86726 acl2-infix-source_3.4-1_all.deb
467c9dedea335ee581a1394f87841bd06036a919065976a546f48d73cb5fee6b 2970558 acl2-books-source_3.4-1_all.deb
9ed488ee97ceea6cb6379dd1189b859f250b5157105ce347ed813e3ee927b5b1 1297394 acl2-books-certs_3.4-1_all.deb
8df51ab2cd0101dc5343c28d6f36f1e09b75df5f4f1b347cd07aacd31b80672f 2407554 acl2-doc_3.4-1_all.deb
329895f627dcaaf6241a1e881e0f5afbae246db6f8479a9656c2b5fd4b69ad7e 19363946 acl2_3.4-1_i386.deb
08fc6db611d297689230d6b3d59e07742bc149a758ce38eb83f335662a9f97af 399510 acl2-infix_3.4-1_i386.deb
9c4785d8d3203005e5d2817ec2defdfc6fd0d501d5799cce2214a8ba9188268e 21529886 acl2-books_3.4-1_i386.deb
Files:
2425ae793ddcbbfdfa05a27fec1afc6c 1177 math optional acl2_3.4-1.dsc
00c210b69b585941d856616c7a66c463 8003235 math optional acl2_3.4.orig.tar.gz
441c3713e610a92e8f07a5ab4e66296d 13765 math optional acl2_3.4-1.diff.gz
a6b04fbc373672094c2df4b36a35ecc1 2611492 math optional acl2-source_3.4-1_all.deb
3b7efe9e196a4d73964f8335b09ccd0f 55466 math optional acl2-emacs_3.4-1_all.deb
57b852d1939f51eb10e9d81b3a2b390f 86726 math optional acl2-infix-source_3.4-1_all.deb
796a3bb265b3e6dea0c238e34c1c1f15 2970558 math optional acl2-books-source_3.4-1_all.deb
80946c897190d8926cd97673b815040f 1297394 math optional acl2-books-certs_3.4-1_all.deb
630c3b15a33d0ed5f9964389f48a8e6a 2407554 doc optional acl2-doc_3.4-1_all.deb
4c878248efb67e0ad06a35fa7c219a13 19363946 math optional acl2_3.4-1_i386.deb
461b39561e80e4cb6d9ee924a3f1b275 399510 math optional acl2-infix_3.4-1_i386.deb
46fa09ca30dba49f43ed030257be7f0e 21529886 math optional acl2-books_3.4-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFIse4tczG1wFfwRdwRAmmLAKC7saAqMJAIOCSf0BZxI9r2x4kIjACfcxip
uoSwoMh9KyoR5Dk1xlVoBUs=
=lHcU
-----END PGP SIGNATURE-----
Information forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(full text, mbox, link).
Acknowledgement sent to Marcos Torres Marado <Marcos.Marado@sonae.com>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(full text, mbox, link).
Message #20 received at 494328@bugs.debian.org (full text, mbox, reply):
Please check the compilation log in sparc: http://buildd.debian.org/fetch.cgi?&pkg=acl2&ver=3.4-1&arch=sparc&stamp=1219657791&file=log In particular this: End of Pass 2. *** glibc detected *** /usr/lib/gcc/sparc-linux-gnu/4.3.1/cc1: corrupted double-linked list: 0x018b6f60 *** other-events.c: In function 'LI64': other-events.c:10456: internal compiler error: Aborted Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-4.3/README.Bugs> for instructions. Correctable error: (SYSTEM "gcc -c -g -O2 -Wall -DVOL=volatile -fsigned-char -pipe -I/usr/lib/gcl-2.6.7/unixport/../h -O3 -fomit-frame-pointer -c \"other-events.c\" -o \"other-events.o\" -w") returned a non-zero value 0. Signalled by UNLESS. If continued: Continues anyway. Raw Lisp Break. Broken at APPLY. Type :H for Help. ACL2>>make[2]: Entering directory `/build/buildd/acl2-3.4' Compile FAILED: acl2-status.txt should contain :COMPILED. make[2]: *** [check_compile_ok] Error 1 make[2]: Leaving directory `/build/buildd/acl2-3.4' make[1]: *** [full] Error 2 make[1]: Leaving directory `/build/buildd/acl2-3.4' make: *** [saved_acl2] Error 2 dpkg-buildpackage: failure: debian/rules build gave error exit status 2 ****************************************************************************** Build finished at 20080825-1148 FAILED [dpkg-buildpackage died] It seems that this bug should be reopened... Best regards, -- Marcos Marado
Information forwarded
to debian-bugs-dist@lists.debian.org:
Bug#494328; Package acl2.
(Wed, 24 Sep 2008 22:06:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Camm Maguire <camm@enhanced.com>:
Extra info received and forwarded to list.
(Wed, 24 Sep 2008 22:06:02 GMT) (full text, mbox, link).
Message #25 received at 494328@bugs.debian.org (full text, mbox, reply):
Greetings! This is a bug in gcc, i.e. ICE. Would you care to file the report? A workaround might be to lower optimization on sparc. Take care, Marcos Torres Marado <Marcos.Marado@sonae.com> writes: > Please check the compilation log in sparc: > > http://buildd.debian.org/fetch.cgi?&pkg=acl2&ver=3.4-1&arch=sparc&stamp=1219657791&file=log > > In particular this: > > End of Pass 2. > *** glibc detected *** /usr/lib/gcc/sparc-linux-gnu/4.3.1/cc1: corrupted double-linked list: 0x018b6f60 *** > other-events.c: In function 'LI64': > other-events.c:10456: internal compiler error: Aborted > Please submit a full bug report, > with preprocessed source if appropriate. > See <file:///usr/share/doc/gcc-4.3/README.Bugs> for instructions. > > Correctable error: (SYSTEM "gcc -c -g -O2 -Wall -DVOL=volatile -fsigned-char -pipe -I/usr/lib/gcl-2.6.7/unixport/../h -O3 -fomit-frame-pointer -c \"other-events.c\" -o \"other-events.o\" -w") returned a non-zero value 0. > Signalled by UNLESS. > If continued: Continues anyway. > > Raw Lisp Break. > Broken at APPLY. Type :H for Help. > ACL2>>make[2]: Entering directory `/build/buildd/acl2-3.4' > Compile FAILED: acl2-status.txt should contain :COMPILED. > make[2]: *** [check_compile_ok] Error 1 > make[2]: Leaving directory `/build/buildd/acl2-3.4' > make[1]: *** [full] Error 2 > make[1]: Leaving directory `/build/buildd/acl2-3.4' > make: *** [saved_acl2] Error 2 > dpkg-buildpackage: failure: debian/rules build gave error exit status 2 > ****************************************************************************** > Build finished at 20080825-1148 > FAILED [dpkg-buildpackage died] > > It seems that this bug should be reopened... > > Best regards, > -- > Marcos Marado > > > > > -- Camm Maguire camm@enhanced.com ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Mon, 29 Sep 2008 14:33:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Marcos Marado <Marcos.Marado@sonae.com>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Mon, 29 Sep 2008 14:33:02 GMT) (full text, mbox, link).
Message #30 received at 494328@bugs.debian.org (full text, mbox, reply):
Greetings, On Wednesday 24 September 2008 23:01:03 Camm Maguire wrote: > Greetings! This is a bug in gcc, i.e. ICE. Would you care to file > the report? A workaround might be to lower optimization on sparc. Hmm, I could report this against gcc, and will if you want me to, but I really don't know what the bug is or why is this considered to be a gcc bug. Maybe it would be better if you reported the bug? Or else, could you please give me some hints on what should I report? Thanks, -- Marcos Marado
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Sun, 05 Oct 2008 17:03:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Luk Claes <luk@debian.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Sun, 05 Oct 2008 17:03:02 GMT) (full text, mbox, link).
Message #35 received at 494328@bugs.debian.org (full text, mbox, reply):
Hi Please backport the fix for this bug to lenny and upload it to testing-proposed-updates. If you think it's not really possible to backport the fix and it would be better to not include acl2 in lenny, please tell me. Cheers Luk
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Sat, 25 Oct 2008 05:24:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Kumar Appaiah <a.kumar@alumni.iitm.ac.in>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Sat, 25 Oct 2008 05:24:02 GMT) (full text, mbox, link).
Message #40 received at 494328@bugs.debian.org (full text, mbox, reply):
[Message part 1 (text/plain, inline)]
Dear Camm, Since the verison of acl2 in sid has too many changes, it is unsuitable for Lenny. I tried to produce a minimal patch to backport the fix to the current, Lenny package but failed to do so. Would you like to produce such a patch, or should I request a removal of this package from Lenny, (this meaning that acl2 will not be shipped with Lenny)? Thanks. Kumar -- Kumar Appaiah
[signature.asc (application/pgp-signature, inline)]
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Tue, 04 Nov 2008 05:27:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Mark Purcell <msp@debian.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Tue, 04 Nov 2008 05:27:02 GMT) (full text, mbox, link).
Message #45 received at 494328@bugs.debian.org (full text, mbox, reply):
On Monday 06 October 2008 04:01:36 Luk Claes wrote: > Please backport the fix for this bug to lenny and upload it to > testing-proposed-updates. > > If you think it's not really possible to backport the fix and it would > be better to not include acl2 in lenny, please tell me. Camm, As Luk & Kumar have advised the release critical bug #494328 is still present in lenny, even though you have fixed it by uploading a new upstream version to sid. To fix this issue in lenny a backport of the fix needs to be included with acl2/3.1 and uploaded to testing-proposed-updates. You haven't yet responded to these requests. Are you able to prepare a backport fixed package for acl2? Mark
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Sun, 30 Nov 2008 18:06:04 GMT) (full text, mbox, link).
Acknowledgement sent
to Ben Hutchings <ben@decadent.org.uk>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Sun, 30 Nov 2008 18:06:05 GMT) (full text, mbox, link).
Message #50 received at 494328@bugs.debian.org (full text, mbox, reply):
[Message part 1 (text/plain, inline)]
lenny currently has acl2 3.1-1, the same as etch. This seems to have a bug (or else it triggers a compiler bug) that means rebuilding it in lenny fails at self-test (#494328). This is fixed or otherwise avoided in 3.4-1, but as upstream has no bug database or public VCS it is practically impossible to tell how. The changelog also makes no mention of an intentional fix for this bug. There is currently an unblock rule for acl2 3.3-1, but that was superceded by 3.4-1 before it could propagate to lenny. Perhaps 3.4-1 should be unblocked? I really don't know anything about this package so I cannot say whether the changes in 3.4-1 are worth having or are high or low risk. But I don't believe this bug can be fixed by a t-p-u upload since the changes probably cannot be isolated. Ben. -- Ben Hutchings Any smoothly functioning technology is indistinguishable from a rigged demo.
[signature.asc (application/pgp-signature, inline)]
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Wed, 03 Dec 2008 14:00:05 GMT) (full text, mbox, link).
Acknowledgement sent
to Charles Plessy <plessy@debian.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Wed, 03 Dec 2008 14:00:05 GMT) (full text, mbox, link).
Message #55 received at 494328@bugs.debian.org (full text, mbox, reply):
Dear release team, I would like to suggest to remove RC-bugged acl2 package from testing. The arguments for this are: 1) acl2 is a leaf package: aqwa『~』$ apt-cache rdepends acl2 acl2 Reverse Depends: acl2-source acl2-source acl2-infix-source acl2-infix-source acl2-infix acl2-infix acl2-infix acl2-emacs acl2-emacs acl2-emacs acl2-books-source acl2-books-source acl2-books-source acl2-books-certs acl2-books-certs acl2-books-certs acl2-books acl2-books acl2-books 2) acl2 maintainer does not keep up with his packages (not a moral judgement, but just a bad prognostic on wether he can help solving the issue). http://qa.debian.org/developer.php?login=camm@enhanced.com 3) Removal was proposed on 25 Oct 2008 in the bug report and the maintainer has not answered. 4) acl2 has a Popcon installation score of 77 (18 votes). Arguments against removal: 1) acl2 is in Etch, so the removal is a regression. 2) The bug is not unfixable. I would nevertheless argue in favor of the removal, for the sake of concentrating efforts on the packages whithout which Debian can not release. Have a nice day, -- Charles Plessy Tsurumi, Kanagawa, Japan
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Sun, 07 Dec 2008 18:57:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Luk Claes <luk@debian.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Sun, 07 Dec 2008 18:57:02 GMT) (full text, mbox, link).
Message #60 received at 494328@bugs.debian.org (full text, mbox, reply):
Ben Hutchings wrote: > lenny currently has acl2 3.1-1, the same as etch. This seems to have a > bug (or else it triggers a compiler bug) that means rebuilding it in > lenny fails at self-test (#494328). > > This is fixed or otherwise avoided in 3.4-1, but as upstream has no bug > database or public VCS it is practically impossible to tell how. The > changelog also makes no mention of an intentional fix for this bug. > > There is currently an unblock rule for acl2 3.3-1, but that was > superceded by 3.4-1 before it could propagate to lenny. Perhaps 3.4-1 > should be unblocked? I really don't know anything about this package so > I cannot say whether the changes in 3.4-1 are worth having or are high > or low risk. But I don't believe this bug can be fixed by a t-p-u > upload since the changes probably cannot be isolated. The diff is *HUGE*, contacting the maintainer does not seem to help, so removal hint added. Cheers Luk
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Mon, 08 Dec 2008 18:03:05 GMT) (full text, mbox, link).
Acknowledgement sent
to Adeodato Simó <dato@net.com.org.es>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Mon, 08 Dec 2008 18:03:05 GMT) (full text, mbox, link).
Message #65 received at 494328@bugs.debian.org (full text, mbox, reply):
* Charles Plessy [Wed, 03 Dec 2008 22:57:54 +0900]:
> Dear release team,
> I would like to suggest to remove RC-bugged acl2 package from testing.
Hello, Charles, a removal hint was added by Luk yesterday.
Cheers,
--
Adeodato Simó dato at net.com.org.es
Debian Developer adeodato at debian.org
Listening to: Marina Rossell - Rumba dels 60
Information forwarded
to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@enhanced.com>:
Bug#494328; Package acl2.
(Wed, 18 Feb 2009 03:48:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Camm Maguire <camm@maguirefamily.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@enhanced.com>.
(Wed, 18 Feb 2009 03:48:02 GMT) (full text, mbox, link).
Message #70 received at 494328@bugs.debian.org (full text, mbox, reply):
Greetings! I've unfortunately missed the deadline for lenny with acl2. As you may recall, you found a ftbfs error with 3.3, which I addressed by uploading a 3.4, and which in turn was deemed too big a change for lenny. I've since been unable to reproduce the original build failure using the original 3.3 package. I suspect a newer gcl, which is in lenny. In any case, I'd like to prepare a 3.3 proposed updates for the next point release, or better a 3.4 if the release criteria would allow it. Essentially, it is just a resubmission of the 3.3 package which had been in testing. If the proposed update route is not viable, I'd like to setup an apt-getable website with lenny backports and refer the users there. Please advise. Thanks so much for your contributions to Debian! -- Camm Maguire camm@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
Bug archived.
Request was from Debbugs Internal Request <owner@bugs.debian.org>
to internal_control@bugs.debian.org.
(Mon, 08 Jun 2009 07:32:42 GMT) (full text, mbox, link).
Send a report that this bug log contains spam.
Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.