Date: Thu, 25 Apr 91 14:20:43 CDT
From: damir (Damir Jamsek) <damir%com.mcc.sw@com.mcc>
Message-Id: <9104251920.AA11375@nehemiah.sw.mcc.com.stp>
To: info-hol@edu.ucdavis.eecs.iris
Subject: Trying to Build HOL1.12, sun3, SunOS4.x, AKCL 1.530
Reply-To: damir@com.mcc
Postal-Address: MCC, 3500 West Balcones Center Drive, Austin, TX, 78759

In trying to build the latest version of HOL, on a sun3 running SunOS4.x
under AKCL version 1.530 I encounter an error, which is reproduced at the end
of this message. The build seems to be fine (no errors) prior to this point.
If anyone has seen this sort of problem before or  has any insight into the
cause, I'd greatly appreciate any help that is offered.
Thanks
--damir

Damir A. Jamsek
Member Technical Staff
MCC
3500 W. Balcones Center Drive
Austin, TX 78759
(512) 338-3298
damir@mcc.com

--- log of 'make hol' ---------------------------------------------------------

[103]> make hol
echo '#+allegro (set-case-mode :case-insensitive-upper)'\
     '(load "lisp/f-cl")'\
             '(load "lisp/mk-ml")'\
     '(load "lisp/mk-hol-lcf")'\
     '(setq %system-name "HOL-LCF")'\
     '(setq %liszt "")'\
     '(setq %version "1.12")'\
     '(set-make)'\
     '(tml)'\
     'compile(`ml/ml-curry`,true);;'\
     'quit();;'\
     | akcl
AKCL (Austin Kyoto Common Lisp)  Version(1.530) Fri Feb  8 00:16:26 CST 1991
Contains Enhancements by W. Schelter

>Loading lisp/f-cl.o
start address -T 2b7800 Finished loading lisp/f-cl.o
13696

>Loading lisp/mk-ml.o
Loading lisp/f-cl.o
start address -T 2bb800 Finished loading lisp/f-cl.o
Loading lisp/f-system.o
start address -T 2bf000 Finished loading lisp/f-system.o
Loading lisp/f-constants.o
start address -T 2baf40 Finished loading lisp/f-constants.o
Loading lisp/f-site.o
start address -T 2bed80 Finished loading lisp/f-site.o
Loading lisp/f-gp.o
start address -T 2c2000 Finished loading lisp/f-gp.o
Loading lisp/f-parser.o
start address -T 2c4000 Finished loading lisp/f-parser.o
Loading lisp/f-parsml.o
start address -T 2c7800 Finished loading lisp/f-parsml.o
Loading lisp/f-mlprin.o
start address -T 2cd800 Finished loading lisp/f-mlprin.o
Loading lisp/f-typeml.o
start address -T 2d0000 Finished loading lisp/f-typeml.o
Loading lisp/f-dml.o
start address -T 2d9800 Finished loading lisp/f-dml.o
Loading lisp/f-format.o
start address -T 2db800 Finished loading lisp/f-format.o
Loading lisp/f-tran.o
start address -T 2de000 Finished loading lisp/f-tran.o
Loading lisp/f-iox-stand.o
start address -T 2e7800 Finished loading lisp/f-iox-stand.o
Loading lisp/f-writml.o
start address -T 2ea000 Finished loading lisp/f-writml.o
Loading lisp/f-tml.o
start address -T 2ec000 Finished loading lisp/f-tml.o
Loading lisp/f-lis.o
start address -T 2f3000 Finished loading lisp/f-lis.o
Loading lisp/f-ol-rec.o
start address -T 2f4800 Finished loading lisp/f-ol-rec.o
Loading lisp/f-help.o
start address -T 2c6cbc Finished loading lisp/f-help.o
start address -T 2bada4 Finished loading lisp/mk-ml.o
304

>Loading lisp/mk-hol-lcf.o
Loading lisp/f-parsol.o
start address -T 2f7000 Finished loading lisp/f-parsol.o
Loading lisp/f-typeol.o
start address -T 2f9800 Finished loading lisp/f-typeol.o
Loading lisp/f-help.o
start address -T 2f5c1c Finished loading lisp/f-help.o
Loading lisp/f-format.o
start address -T 2fc800 Finished loading lisp/f-format.o
Loading lisp/f-writol.o
start address -T 2fe000 Finished loading lisp/f-writol.o
Loading lisp/f-thyfns.o
start address -T 301800 Finished loading lisp/f-thyfns.o
Loading lisp/f-freadth.o
Warning: lisp/f-freadth.l is redefining function THY-READstart address -T 30a800
Finished loading lisp/f-freadth.o
Loading lisp/f-ol-syntax.o
start address -T 30d000 Finished loading lisp/f-ol-syntax.o
Loading lisp/f-subst.o
start address -T 312000 Finished loading lisp/f-subst.o
Loading lisp/f-inst.o
start address -T 315800 Finished loading lisp/f-inst.o
Loading lisp/f-simpl.o
start address -T 318800 Finished loading lisp/f-simpl.o
Loading lisp/f-ol-net.o
start address -T 319800 Finished loading lisp/f-ol-net.o
start address -T 2f1df4 Finished loading lisp/mk-hol-lcf.o
304

>"HOL-LCF"

>""

>"1.12"

>NIL

>
HOL-LCF version 1.12 created 4/25/91

#
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)


Error: The function COMPILER::QFEOF is undefined.
Error signalled by FUNCALL.
Backtrace:  > eval > tml > funcall > funcall > lambda > ml-compile > funcall
parse failed     lisp error
evaluation failed     compile -- ml/ml-curry
Bye.
*** Error code 1
make: Fatal error: Command failed for target `ml/ml-curry_ml.o'

[104]>