Source: hol88
Version: 2.02.19940316-33
Severity: serious
Tags: buster sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20170807 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(compile-file "lisp/f-cl.l") (quit)'\
> | gcl; else\
> lisp/f-franz; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >
> Compiling lisp/f-cl.l.
> ; (SHADOW '(QUIT)) is being compiled.
> ;; Warning: The package operation (SHADOW '(QUIT)) was in a bad place.
> ; (SHADOW '(INCLUDE)) is being compiled.
> ;; Warning: The package operation (SHADOW '(INCLUDE)) was in a bad place.
> ; (SHADOW '(UNTIL WHILE)) is being compiled.
> ;; Warning: The package operation (SHADOW '(UNTIL WHILE)) was in a bad place.
> ; (SHADOW '(MEMQ ASSQ ...)) is being compiled.
> ;; Warning: The package operation (SHADOW '(MEMQ ASSQ DELQ PUTPROP)) was in a
> bad place.
> ; (DEFUN SET-FASL-FLAG ...) is being compiled.
> ;; The variable |%print_fasl-flag| is undefined.
> ;; The compiler will assume this variable is a global.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-cl.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-cl.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-macro.l") (quit)'\
> | gcl; else\
> lisp/f-macro; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-macro.l.
> ; (DEFUN EXISTS ...) is being compiled.
> ;; Warning: The variable IGNORE is not used.
> ; (DEFUN FORALL ...) is being compiled.
> ;; Warning: The variable IGNORE is not used.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-macro.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-macro.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-system.l") (quit)'\
> | gcl; else\
> lisp/f-system; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-system.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ; (DEFUN FILETOKP ...) is being compiled.
> ;; Warning: The variable KIND is not used.
> ;; Warning: The variable TOK is not used.
> ; (DEFUN COMPILE-LISP ...) is being compiled.
> ;; Warning: The variable X is not used.
> ;; Warning: The variable X is not used.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-system.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-system.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-help.l") (quit)'\
> | gcl; else\
> lisp/f-help; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-help.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-help.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-help.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-ol-rec.l") (quit)'\
> | gcl; else\
> lisp/f-ol-rec; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-ol-rec.l.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-ol-rec.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-ol-rec.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/genmacs.l") (quit)'\
> | gcl; else\
> lisp/genmacs; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/genmacs.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xccbbe0
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/genmacs.o.
> #p"/<<PKGBUILDDIR>>/lisp/genmacs.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/mk-ml.l") (quit)'\
> | gcl; else\
> lisp/mk-ml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/mk-ml.l.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/mk-ml.o.
> #p"/<<PKGBUILDDIR>>/lisp/mk-ml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/mk-hol-lcf.l") (quit)'\
> | gcl; else\
> lisp/mk-hol-lcf; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/mk-hol-lcf.l.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/mk-hol-lcf.o.
> #p"/<<PKGBUILDDIR>>/lisp/mk-hol-lcf.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-constants.l") (quit)'\
> | gcl; else\
> lisp/f-constants; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-constants.l.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-constants.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-constants.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-site.l") (quit)'\
> | gcl; else\
> lisp/f-site; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-site.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-site.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-site.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-gp.l") (quit)'\
> | gcl; else\
> lisp/f-gp; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-gp.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-gp.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-gp.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-parser.l") (quit)'\
> | gcl; else\
> lisp/f-parser; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-parser.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
>
> ;; Note: Tail-recursive call of GNC was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-parser.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-parser.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-parsml.l") (quit)'\
> | gcl; else\
> lisp/f-parsml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-parsml.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
>
> ;; Note: Tail-recursive call of ULTABSTR was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-parsml.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-parsml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-mlprin.l") (quit)'\
> | gcl; else\
> lisp/f-mlprin; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-mlprin.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-mlprin.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-mlprin.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-typeml.l") (quit)'\
> | gcl; else\
> lisp/f-typeml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-typeml.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
>
> ;; Note: Tail-recursive call of TYPING was replaced by iteration.
> ;; Note: Tail-recursive call of TYPING was replaced by iteration.
> ;; Note: Tail-recursive call of TYPING was replaced by iteration.
> ;; Note: Tail-recursive call of TYPING was replaced by iteration.
> ;; Note: Tail-recursive call of ADJUST-FUNDEF was replaced by iteration.
> ;; Note: Tail-recursive call of ADJUST-FUNDEF was replaced by iteration.
> ;; Note: Tail-recursive call of ADJUST-ABSTRACTION was replaced by iteration.
> ;; Note: Tail-recursive call of IS-LOCAL-CONSTRUCTOR was replaced by
> iteration.
> ;; Note: Tail-recursive call of LAYER was replaced by iteration.
> ;; Note: Tail-recursive call of GETTYPEID was replaced by iteration.
> ;; Note: Tail-recursive call of MUTANT1 was replaced by iteration.
> ;; Note: Tail-recursive call of IMMUT was replaced by iteration.
> ;; Note: Tail-recursive call of ATCH was replaced by iteration.
> ;; Note: Tail-recursive call of TIDYUP was replaced by iteration.
> ;; Note: Tail-recursive call of PRINTTYTAIL was replaced by iteration.
> ;; Note: Tail-recursive call of PRUNE was replaced by iteration.
> ;; Note: Tail-recursive call of UNIFYTL was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-typeml.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-typeml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-dml.l") (quit)'\
> | gcl; else\
> lisp/f-dml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-dml.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-constantsstart address -T 0xcab1b0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of ML-ORD was replaced by iteration.
> ;; Note: Tail-recursive call of ML-ORD was replaced by iteration.
> End of Pass 2.
> /<<PKGBUILDDIR>>/lisp/f-dml.c: In function 'L2':
> /<<PKGBUILDDIR>>/lisp/f-dml.c:1122:19: warning: unused variable 'V12'
> [-Wunused-variable]
> {register object V12;
> ^~~
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-dml.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-dml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-format.l") (quit)'\
> | gcl; else\
> lisp/f-format; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-format.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-constantsstart address -T 0xcab1b0
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-format.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-format.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-tran.l") (quit)'\
> | gcl; else\
> lisp/f-tran; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-tran.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
>
> ;; Note: Tail-recursive call of STORST was replaced by iteration.
> ;; Note: Tail-recursive call of VARPAT was replaced by iteration.
> ;; Note: Tail-recursive call of TRE was replaced by iteration.
> ;; Note: Tail-recursive call of TRE was replaced by iteration.
> ;; Note: Tail-recursive call of TRE was replaced by iteration.
> ;; Note: Tail-recursive call of TRE was replaced by iteration.
> ;; Note: Tail-recursive call of TRE was replaced by iteration.
> ;; Note: Tail-recursive call of INSERTTRANSFUN was replaced by iteration.
> ;; Note: Tail-recursive call of FAP was replaced by iteration.
> ;; Note: Tail-recursive call of CHECKS was replaced by iteration.
> End of Pass 2.
> /<<PKGBUILDDIR>>/lisp/f-tran.c: In function 'L44':
> /<<PKGBUILDDIR>>/lisp/f-tran.c:4148:19: warning: unused variable 'V246'
> [-Wunused-variable]
> {register object V246;
> ^~~~
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-tran.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-tran.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-iox-stand.l") (quit)'\
> | gcl; else\
> lisp/f-iox-stand; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-iox-stand.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
> End of Pass 2.
> /<<PKGBUILDDIR>>/lisp/f-iox-stand.c: In function 'L2':
> /<<PKGBUILDDIR>>/lisp/f-iox-stand.c:1133:19: warning: unused variable 'V6'
> [-Wunused-variable]
> {register object V6;
> ^~
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-iox-stand.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-iox-stand.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-writml.l") (quit)'\
> | gcl; else\
> lisp/f-writml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-writml.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ; (DEFUN ML-PRINT_VOID ...) is being compiled.
> ;; Warning: The variable IGNORE is not used.
> ; (DEFUN PRINT_PROD ...) is being compiled.
> ;; Warning: The variable CL is not used.
> ; (DEFUN PRINT_CONC ...) is being compiled.
> ;; Warning: The variable TY is not used.
> End of Pass 1.
>
> ;; Note: Tail-recursive call of PRLET was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-writml.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-writml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-tml.l") (quit)'\
> | gcl; else\
> lisp/f-tml; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-tml.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ; (DEFUN HOL-ERR ...) is being compiled.
> ;; Warning: The variable X is not used.
> ; (DEFUN OKPASS ...) is being compiled.
> ;; Warning: The variable ERRTOK is not used.
> ; (DEFUN ML-COMPILE ...) is being compiled.
> ;; Warning: The variable $GCPRINT is not used.
> End of Pass 1.
>
> ;; Note: Tail-recursive call of EXTEND-ENV was replaced by iteration.
> ;; Note: Tail-recursive call of SETBINDINGS was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-tml.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-tml.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-lis.l") (quit)'\
> | gcl; else\
> lisp/f-lis; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-lis.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-lis.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-lis.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-parsol.l") (quit)'\
> | gcl; else\
> lisp/f-parsol; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-parsol.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ; (DEFUN OLVARINFIX ...) is being compiled.
> ;; The variable HOL-VAR-BINOPS is undefined.
> ;; The compiler will assume this variable is a global.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-parsol.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-parsol.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-typeol.l") (quit)'\
> | gcl; else\
> lisp/f-typeol; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-typeol.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of HOL-TRUNC was replaced by iteration.
> ;; Note: Tail-recursive call of HOL-TRUNC was replaced by iteration.
> ;; Note: Tail-recursive call of CANON-TY was replaced by iteration.
> End of Pass 2.
> /<<PKGBUILDDIR>>/lisp/f-typeol.c: In function 'L3':
> /<<PKGBUILDDIR>>/lisp/f-typeol.c:1210:10: warning: unused variable 'V10'
> [-Wunused-variable]
> {object V10;
> ^~~
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-typeol.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-typeol.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-writol.l") (quit)'\
> | gcl; else\
> lisp/f-writol; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-writol.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> ;;; Including lisp/genmacsstart address -T 0xcbe020
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-writol.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-writol.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-thyfns.l") (quit)'\
> | gcl; else\
> lisp/f-thyfns; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-thyfns.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> ; (DEFUN OPEN-THY-FILE ...) is being compiled.
> ;; Warning: The variable ERTOK is not used.
> ; (DEFUN THY-READ ...) is being compiled.
> ;; Warning: The variable ERTOK is not used.
> ; (DEFUN GET-PARENT ...) is being compiled.
> ;; Warning: The variable PARDATA is not used.
> ; (DEFUN UNLOAD-THEORY ...) is being compiled.
> ;; Warning: The variable TOK is not used.
> ; (DEFUN WRITE-THY-FILE ...) is being compiled.
> ;; Warning: The variable $GCPRINT is not used.
> End of Pass 1.
>
> ;; Note: Tail-recursive call of ABS-TYPE was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-thyfns.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-thyfns.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-freadth.l") (quit)'\
> | gcl; else\
> touch lisp/f-freadth.o; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-freadth.l.
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ; (DEFUN THY-READ ...) is being compiled.
> ;; The variable %FAILTOK is undefined.
> ;; The compiler will assume this variable is a global.
> ;; Warning: The variable ERTOK is not used.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-freadth.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-freadth.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-ol-syntax.l") (quit)'\
> | gcl; else\
> lisp/f-ol-syntax; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-ol-syntax.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> ; (DEFUN Q-MK_EQUIV ...) is being compiled.
> ;; Warning: The variable TOK is not used.
> ; (DEFUN Q-MK_INEQUIV ...) is being compiled.
> ;; Warning: The variable TOK is not used.
> ; (DEFUN ML-MK_COMB ...) is being compiled.
> ;; Warning: The variable TOK is not used.
> End of Pass 1.
>
> ;; Note: Tail-recursive call of PREP-TERM-FN was replaced by iteration.
> ;; Note: Tail-recursive call of ADD-TERM-LINKS was replaced by iteration.
> ;; Note: Tail-recursive call of ADD-TYPE-LINKS was replaced by iteration.
> ;; Note: Tail-recursive call of GET-TYPE-LINKS was replaced by iteration.
> ;; Note: Tail-recursive call of GET-TERM-LINKS was replaced by iteration.
> ;; Note: Tail-recursive call of PREP-TY-FN was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-ol-syntax.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-ol-syntax.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-subst.l") (quit)'\
> | gcl; else\
> lisp/f-subst; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-subst.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of ALPHA-FM was replaced by iteration.
> ;; Note: Tail-recursive call of ALPHA-TM was replaced by iteration.
> ;; Note: Tail-recursive call of VARS-FM was replaced by iteration.
> ;; Note: Tail-recursive call of VARS-FM was replaced by iteration.
> ;; Note: Tail-recursive call of VARS-TM was replaced by iteration.
> ;; Note: Tail-recursive call of VARS-TM was replaced by iteration.
> ;; Note: Tail-recursive call of VARFILTER was replaced by iteration.
> ;; Note: Tail-recursive call of FREEIN-FM was replaced by iteration.
> ;; Note: Tail-recursive call of FREEIN-FM was replaced by iteration.
> ;; Note: Tail-recursive call of FREEIN-TM was replaced by iteration.
> ;; Note: Tail-recursive call of FREEIN-TM was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-subst.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-subst.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-inst.l") (quit)'\
> | gcl; else\
> lisp/f-inst; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-inst.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of TYPE-IN-FM was replaced by iteration.
> ;; Note: Tail-recursive call of TYPE-IN-FM was replaced by iteration.
> ;; Note: Tail-recursive call of TYPE-IN-TM was replaced by iteration.
> ;; Note: Tail-recursive call of TYPE-IN-TM was replaced by iteration.
> ;; Note: Tail-recursive call of TYVARS-FM was replaced by iteration.
> ;; Note: Tail-recursive call of TYVARS-FM was replaced by iteration.
> ;; Note: Tail-recursive call of TYVARS-TM was replaced by iteration.
> ;; Note: Tail-recursive call of TYVARS-TM was replaced by iteration.
> ;; Note: Tail-recursive call of STRIP-PRIMES-AUX was replaced by iteration.
> ;; Note: Tail-recursive call of TYPEL-IN-TM was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-inst.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-inst.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-simpl.l") (quit)'\
> | gcl; else\
> lisp/f-simpl; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-simpl.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of TERM-MATCH was replaced by iteration.
> ;; Note: Tail-recursive call of PREPARE-SUBSTL was replaced by iteration.
> ;; Note: Tail-recursive call of PREPARE-INSTTYL was replaced by iteration.
> End of Pass 2.
> /<<PKGBUILDDIR>>/lisp/f-simpl.c: In function 'L3':
> /<<PKGBUILDDIR>>/lisp/f-simpl.c:1397:10: warning: unused variable 'V27'
> [-Wunused-variable]
> {object V27;
> ^~~
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-simpl.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-simpl.o"
>
> >if [ cl = cl ]; then\
> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/f-cl") (compile-file "lisp/f-ol-net.l") (quit)'\
> | gcl; else\
> lisp/f-ol-net; fi
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> 21224
>
> >
> Compiling lisp/f-ol-net.l.
> ;;; Including lisp/f-constantsstart address -T 0xc99bb0
> ;;; Including lisp/f-macrostart address -T 0xd01400
> ;;; Including lisp/f-ol-recstart address -T 0xc845c0
> End of Pass 1.
>
> ;; Note: Tail-recursive call of FOLLOW-FM was replaced by iteration.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /<<PKGBUILDDIR>>/lisp/f-ol-net.o.
> #p"/<<PKGBUILDDIR>>/lisp/f-ol-net.o"
>
> >echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> >*cltl1-in-package-compatibility-p* t) (setq
> >comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> >*enable-package-locked-errors* nil))'\
> '(load "lisp/mk-ml")'\
> '(load "lisp/mk-hol-lcf")'\
> '(setq %system-name "HOL-LCF")'\
> '(setq %liszt "")'\
> '(setq %version "2.02 (GCL)")'\
> '(set-make)'\
> '(tml)'\
> 'compile(`ml/ml-curry`,true);;'\
> 'quit();;'\
> | gcl
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/mk-ml"
> ;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> ;; Loading "lisp/f-system"
> start address -T 0xcc42c0 ;; Finished loading "lisp/f-system"
> ;; Loading "lisp/f-constants"
> start address -T 0xcab2d0 ;; Finished loading "lisp/f-constants"
> ;; Loading "lisp/f-site"
> start address -T 0xca7d70 ;; Finished loading "lisp/f-site"
> ;; Loading "lisp/f-gp"
> start address -T 0xc865c0 ;; Finished loading "lisp/f-gp"
> ;; Loading "lisp/f-parser"
> start address -T 0xcad620 ;; Finished loading "lisp/f-parser"
> ;; Loading "lisp/f-parsml"
> start address -T 0xc71730 ;; Finished loading "lisp/f-parsml"
> ;; Loading "lisp/f-mlprin"
> start address -T 0xc78fe0 ;; Finished loading "lisp/f-mlprin"
> ;; Loading "lisp/f-typeml"
> start address -T 0xd2ee80 ;; Finished loading "lisp/f-typeml"
> ;; Loading "lisp/f-dml"
> start address -T 0xd3c5f0 ;; Finished loading "lisp/f-dml"
> ;; Loading "lisp/f-format"
> start address -T 0xc7d3e0 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-tran"
> start address -T 0xce6cb0 ;; Finished loading "lisp/f-tran"
> ;; Loading "lisp/f-iox-stand"
> start address -T 0xcf41b0 ;; Finished loading "lisp/f-iox-stand"
> ;; Loading "lisp/f-writml"
> start address -T 0xcf8d60 ;; Finished loading "lisp/f-writml"
> ;; Loading "lisp/f-tml"
> start address -T 0xef5010 ;; Finished loading "lisp/f-tml"
> ;; Loading "lisp/f-lis"
> start address -T 0xcb4250 ;; Finished loading "lisp/f-lis"
> ;; Loading "lisp/f-ol-rec"
> start address -T 0xd410f0 ;; Finished loading "lisp/f-ol-rec"
> ;; Loading "lisp/f-help"
> start address -T 0xcc6840 ;; Finished loading "lisp/f-help"
> start address -T 0xc99490 ;; Finished loading "lisp/mk-ml"
> 936
>
> >;; Loading "lisp/mk-hol-lcf"
> ;; Loading "lisp/f-parsol"
> start address -T 0xf09800 ;; Finished loading "lisp/f-parsol"
> ;; Loading "lisp/f-typeol"
> start address -T 0xf0f4d0 ;; Finished loading "lisp/f-typeol"
> ;; Loading "lisp/f-help"
> start address -T 0xcfbca0 ;; Finished loading "lisp/f-help"
> ;; Loading "lisp/f-format"
> start address -T 0xf16570 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-writol"
> start address -T 0xf1b100 ;; Finished loading "lisp/f-writol"
> ;; Loading "lisp/f-thyfns"
> start address -T 0xf21860 ;; Finished loading "lisp/f-thyfns"
> ;; Loading "lisp/f-freadth"
> Warning: lisp/f-freadth.l is redefining function THY-READ
> start address -T 0xf2f710 ;; Finished loading "lisp/f-freadth"
> ;; Loading "lisp/f-ol-syntax"
> start address -T 0xf331a0 ;; Finished loading "lisp/f-ol-syntax"
> ;; Loading "lisp/f-subst"
> start address -T 0xf3c9c0 ;; Finished loading "lisp/f-subst"
> ;; Loading "lisp/f-inst"
> start address -T 0xf42fb0 ;; Finished loading "lisp/f-inst"
> ;; Loading "lisp/f-simpl"
> start address -T 0xf49160 ;; Finished loading "lisp/f-simpl"
> ;; Loading "lisp/f-ol-net"
> start address -T 0xf4c8d0 ;; Finished loading "lisp/f-ol-net"
> start address -T 0xcfb260 ;; Finished loading "lisp/mk-hol-lcf"
> 936
>
> >
> "HOL-LCF"
>
> >
> ""
>
> >
> "2.02 (GCL)"
>
> >
> NIL
>
> >
> HOL-LCF version 2.02 (GCL) created 7/8/17
>
> #
> mem = - : (* -> * list -> bool)
>
> map = - : ((* -> **) -> * list -> ** list)
>
> exists = - : ((* -> bool) -> * list -> bool)
>
> forall = - : ((* -> bool) -> * list -> bool)
>
> find = - : ((* -> bool) -> * list -> *)
>
> tryfind = - : ((* -> **) -> * list -> **)
>
> filter = - : ((* -> bool) -> * list -> * list)
>
> mapfilter = - : ((* -> **) -> * list -> ** list)
>
> rev_itlist = - : ((* -> ** -> **) -> * list -> ** -> **)
>
> compiling = false : bool
>
> compiling_stack = [] : bool list
>
> load = - : ((string # bool) -> void)
>
> compile = - : ((string # bool) -> void)
>
> Calling Lisp compiler
>
> File ml/ml-curry compiled
> () : void
>
> #echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/mk-ml")'\
> '(load "lisp/mk-hol-lcf")'\
> '(setq %system-name "HOL-LCF")'\
> '(setq %liszt "")'\
> '(setq %version "2.02 (GCL)")'\
> '(set-make)'\
> '(tml)'\
> 'load(`ml/ml-curry`,false);;'\
> 'compile(`ml/lis`,true);;'\
> 'quit();;'\
> | gcl
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/mk-ml"
> ;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> ;; Loading "lisp/f-system"
> start address -T 0xcc42c0 ;; Finished loading "lisp/f-system"
> ;; Loading "lisp/f-constants"
> start address -T 0xcab2d0 ;; Finished loading "lisp/f-constants"
> ;; Loading "lisp/f-site"
> start address -T 0xca7d70 ;; Finished loading "lisp/f-site"
> ;; Loading "lisp/f-gp"
> start address -T 0xc865c0 ;; Finished loading "lisp/f-gp"
> ;; Loading "lisp/f-parser"
> start address -T 0xcad620 ;; Finished loading "lisp/f-parser"
> ;; Loading "lisp/f-parsml"
> start address -T 0xc71730 ;; Finished loading "lisp/f-parsml"
> ;; Loading "lisp/f-mlprin"
> start address -T 0xc78fe0 ;; Finished loading "lisp/f-mlprin"
> ;; Loading "lisp/f-typeml"
> start address -T 0xd2ee80 ;; Finished loading "lisp/f-typeml"
> ;; Loading "lisp/f-dml"
> start address -T 0xd3c5f0 ;; Finished loading "lisp/f-dml"
> ;; Loading "lisp/f-format"
> start address -T 0xc7d3e0 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-tran"
> start address -T 0xce6cb0 ;; Finished loading "lisp/f-tran"
> ;; Loading "lisp/f-iox-stand"
> start address -T 0xcf41b0 ;; Finished loading "lisp/f-iox-stand"
> ;; Loading "lisp/f-writml"
> start address -T 0xcf8d60 ;; Finished loading "lisp/f-writml"
> ;; Loading "lisp/f-tml"
> start address -T 0xef5010 ;; Finished loading "lisp/f-tml"
> ;; Loading "lisp/f-lis"
> start address -T 0xcb4250 ;; Finished loading "lisp/f-lis"
> ;; Loading "lisp/f-ol-rec"
> start address -T 0xd410f0 ;; Finished loading "lisp/f-ol-rec"
> ;; Loading "lisp/f-help"
> start address -T 0xcc6840 ;; Finished loading "lisp/f-help"
> start address -T 0xc99490 ;; Finished loading "lisp/mk-ml"
> 936
>
> >;; Loading "lisp/mk-hol-lcf"
> ;; Loading "lisp/f-parsol"
> start address -T 0xf09800 ;; Finished loading "lisp/f-parsol"
> ;; Loading "lisp/f-typeol"
> start address -T 0xf0f4d0 ;; Finished loading "lisp/f-typeol"
> ;; Loading "lisp/f-help"
> start address -T 0xcfbca0 ;; Finished loading "lisp/f-help"
> ;; Loading "lisp/f-format"
> start address -T 0xf16570 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-writol"
> start address -T 0xf1b100 ;; Finished loading "lisp/f-writol"
> ;; Loading "lisp/f-thyfns"
> start address -T 0xf21860 ;; Finished loading "lisp/f-thyfns"
> ;; Loading "lisp/f-freadth"
> Warning: lisp/f-freadth.l is redefining function THY-READ
> start address -T 0xf2f710 ;; Finished loading "lisp/f-freadth"
> ;; Loading "lisp/f-ol-syntax"
> start address -T 0xf331a0 ;; Finished loading "lisp/f-ol-syntax"
> ;; Loading "lisp/f-subst"
> start address -T 0xf3c9c0 ;; Finished loading "lisp/f-subst"
> ;; Loading "lisp/f-inst"
> start address -T 0xf42fb0 ;; Finished loading "lisp/f-inst"
> ;; Loading "lisp/f-simpl"
> start address -T 0xf49160 ;; Finished loading "lisp/f-simpl"
> ;; Loading "lisp/f-ol-net"
> start address -T 0xf4c8d0 ;; Finished loading "lisp/f-ol-net"
> start address -T 0xcfb260 ;; Finished loading "lisp/mk-hol-lcf"
> 936
>
> >
> "HOL-LCF"
>
> >
> ""
>
> >
> "2.02 (GCL)"
>
> >
> NIL
>
> >
> HOL-LCF version 2.02 (GCL) created 7/8/17
>
> #.............start address -T 0xf587f0 () : void
>
>
> append = - : (* list -> * list -> * list)
>
> itlist = - : ((* -> ** -> **) -> * list -> ** -> **)
>
> end_itlist = - : ((* -> * -> *) -> * list -> *)
>
> assoc = - : (* -> (* # **) list -> (* # **))
>
> rev_assoc = - : (* -> (** # *) list -> (** # *))
>
> intersect = - : (* list -> * list -> * list)
>
> subtract = - : (* list -> * list -> * list)
>
> union = - : (* list -> * list -> * list)
>
> setify = - : (* list -> * list)
>
> split = - : ((* # **) list -> (* list # ** list))
>
> combine = - : ((* list # ** list) -> (* # **) list)
>
> () : void
>
> com = - : ((* list # ** list) -> (* # **) list)
>
> distinct = - : (* list -> bool)
>
> chop_list = - : (int -> * list -> (* list # * list))
>
> last = - : (* list -> *)
>
> butlast = - : (* list -> * list)
>
> partition = - : ((* -> bool) -> * list -> (* list # * list))
>
> replicate = - : (* -> int -> * list)
>
> sort = - : (((* # *) -> bool) -> * list -> * list)
>
> splitp = - : ((* -> bool) -> * list -> (* list # * list))
>
> remove = - : ((* -> bool) -> * list -> (* # * list))
>
> Calling Lisp compiler
>
> File ml/lis compiled
> () : void
>
> #echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq
> *cltl1-in-package-compatibility-p* t) (setq
> comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq
> *enable-package-locked-errors* nil))'\
> '(load "lisp/mk-ml")'\
> '(load "lisp/mk-hol-lcf")'\
> '(setq %system-name "HOL-LCF")'\
> '(setq %liszt "")'\
> '(setq %version "2.02 (GCL)")'\
> '(set-make)'\
> '(tml)'\
> 'load(`ml/ml-curry`,false);;'\
> 'load(`ml/lis`,false);;'\
> 'compile(`ml/gen`,true);;'\
> 'quit();;'\
> | gcl
> GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (XGCL READLINE 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:
> /tmp/
>
> >;; Loading "lisp/mk-ml"
> ;; Loading "lisp/f-cl"
> start address -T 0xcd2e40 ;; Finished loading "lisp/f-cl"
> ;; Loading "lisp/f-system"
> start address -T 0xcc42c0 ;; Finished loading "lisp/f-system"
> ;; Loading "lisp/f-constants"
> start address -T 0xcab2d0 ;; Finished loading "lisp/f-constants"
> ;; Loading "lisp/f-site"
> start address -T 0xca7d70 ;; Finished loading "lisp/f-site"
> ;; Loading "lisp/f-gp"
> start address -T 0xc865c0 ;; Finished loading "lisp/f-gp"
> ;; Loading "lisp/f-parser"
> start address -T 0xcad620 ;; Finished loading "lisp/f-parser"
> ;; Loading "lisp/f-parsml"
> start address -T 0xc71730 ;; Finished loading "lisp/f-parsml"
> ;; Loading "lisp/f-mlprin"
> start address -T 0xc78fe0 ;; Finished loading "lisp/f-mlprin"
> ;; Loading "lisp/f-typeml"
> start address -T 0xd2ee80 ;; Finished loading "lisp/f-typeml"
> ;; Loading "lisp/f-dml"
> start address -T 0xd3c5f0 ;; Finished loading "lisp/f-dml"
> ;; Loading "lisp/f-format"
> start address -T 0xc7d3e0 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-tran"
> start address -T 0xce6cb0 ;; Finished loading "lisp/f-tran"
> ;; Loading "lisp/f-iox-stand"
> start address -T 0xcf41b0 ;; Finished loading "lisp/f-iox-stand"
> ;; Loading "lisp/f-writml"
> start address -T 0xcf8d60 ;; Finished loading "lisp/f-writml"
> ;; Loading "lisp/f-tml"
> start address -T 0xef5010 ;; Finished loading "lisp/f-tml"
> ;; Loading "lisp/f-lis"
> start address -T 0xcb4250 ;; Finished loading "lisp/f-lis"
> ;; Loading "lisp/f-ol-rec"
> start address -T 0xd410f0 ;; Finished loading "lisp/f-ol-rec"
> ;; Loading "lisp/f-help"
> start address -T 0xcc6840 ;; Finished loading "lisp/f-help"
> start address -T 0xc99490 ;; Finished loading "lisp/mk-ml"
> 936
>
> >;; Loading "lisp/mk-hol-lcf"
> ;; Loading "lisp/f-parsol"
> start address -T 0xf09800 ;; Finished loading "lisp/f-parsol"
> ;; Loading "lisp/f-typeol"
> start address -T 0xf0f4d0 ;; Finished loading "lisp/f-typeol"
> ;; Loading "lisp/f-help"
> start address -T 0xcfbca0 ;; Finished loading "lisp/f-help"
> ;; Loading "lisp/f-format"
> start address -T 0xf16570 ;; Finished loading "lisp/f-format"
> ;; Loading "lisp/f-writol"
> start address -T 0xf1b100 ;; Finished loading "lisp/f-writol"
> ;; Loading "lisp/f-thyfns"
> start address -T 0xf21860 ;; Finished loading "lisp/f-thyfns"
> ;; Loading "lisp/f-freadth"
> Warning: lisp/f-freadth.l is redefining function THY-READ
> start address -T 0xf2f710 ;; Finished loading "lisp/f-freadth"
> ;; Loading "lisp/f-ol-syntax"
> start address -T 0xf331a0 ;; Finished loading "lisp/f-ol-syntax"
> ;; Loading "lisp/f-subst"
> start address -T 0xf3c9c0 ;; Finished loading "lisp/f-subst"
> ;; Loading "lisp/f-inst"
> start address -T 0xf42fb0 ;; Finished loading "lisp/f-inst"
> ;; Loading "lisp/f-simpl"
> start address -T 0xf49160 ;; Finished loading "lisp/f-simpl"
> ;; Loading "lisp/f-ol-net"
> start address -T 0xf4c8d0 ;; Finished loading "lisp/f-ol-net"
> start address -T 0xcfb260 ;; Finished loading "lisp/mk-hol-lcf"
> 936
>
> >
> "HOL-LCF"
>
> >
> ""
>
> >
> "2.02 (GCL)"
>
> >
> NIL
>
> >
> HOL-LCF version 2.02 (GCL) created 7/8/17
>
> #.............start address -T 0xf587f0 () : void
>
> ......................start address -T 0xf5c430 () : void
>
>
> words2 = - : (string -> string -> string list)
>
> words = - : (string -> string list)
>
> maptok = - : ((string -> *) -> string -> * list)
>
> loadt = - : (string -> void)
> loadf = - : (string -> void)
>
> compilet = - : (string -> void)
> compilef = - : (string -> void)
>
> concat = - : (string -> string -> string)
>
> concatl = - : (string list -> string)
>
> () : void
>
> ^ = - : (string -> string -> string)
>
> message = - : (string -> void)
>
> () : void
>
> () : void
>
> () : void
>
> () : void
>
> o = - : (((* -> **) # (*** -> *)) -> *** -> **)
>
> CB = - : ((* -> **) -> (** -> ***) -> * -> ***)
>
> # = - : (((* -> **) # (*** -> ****)) -> (* # ***) -> (** # ****))
>
> oo =
> -
> : ((((* # **) -> ***) # (**** -> *) # (**** -> **)) -> **** -> ***)
>
> I = - : (* -> *)
>
> K = - : (* -> ** -> *)
>
> KI = - : (* -> ** -> **)
>
> C = - : ((* -> ** -> ***) -> ** -> * -> ***)
> W = - : ((* -> * -> **) -> * -> **)
> B = - : ((* -> **) -> (*** -> *) -> *** -> **)
> S = - : ((* -> ** -> ***) -> (* -> **) -> * -> ***)
>
> () : void
>
> Co = - : (((* -> ** -> ***) # (**** -> *)) -> ** -> **** -> ***)
>
> pair = - : (* -> ** -> (* # **))
>
> curry = - : (((* # **) -> ***) -> * -> ** -> ***)
>
> can = - : ((* -> **) -> * -> bool)
>
> assert = - : ((* -> bool) -> * -> *)
>
> syserror = - : (string -> *)
>
> set_fail_prefix = - : (string -> (* -> **) -> * -> **)
>
> set_fail = - : (string -> (* -> **) -> * -> **)
>
> funpow = - : (int -> (* -> *) -> * -> *)
>
> () : void
>
> install = - : (string -> void)
>
> Calling Lisp compiler
>
> Error: ERROR "The default dispatch macro signalled an error."
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by FUNCALL.
> ERROR "The default dispatch macro signalled an error."
>
> Broken at FUNCALL. Type :H for Help.
> 1 Return to top level.
> >>
> Error: UNBOUND-VARIABLE :NAME QUIT
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by FUNCALL.
> UNBOUND-VARIABLE :NAME QUIT
>
> Broken at FUNCALL.
> 1 (abort) Return to debug level 1.
> 2 Return to top level.
> >>>
> NIL
> >>>
> Error: ERROR "Caught fatal error [memory may be damaged]"
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by FUNCALL.
> ERROR "Caught fatal error [memory may be damaged]"
>
> Broken at FUNCALL.
> 1 (abort) Return to debug level 2.
> 2 Return to debug level 1.
> 3 Return to top level.
> >>>>Makefile:903: recipe for target 'ml/gen_ml.o' failed
> make[2]: *** [ml/gen_ml.o] Error 255
The full build log is available from:
http://aws-logs.debian.net/2017/08/07/hol88_2.02.19940316-33_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
