From hol@muztag.ucdavis.edu  Thu Mar 15 17:12:13 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA28028; Thu, 15 Mar 90 17:12:13 PST
Received: from muztag.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA22690; Thu, 15 Mar 90 17:17:59 PST
Received: by muztag.ucdavis.edu (4.0/3.14)
        id AA11858; Thu, 15 Mar 90 17:11:48 PST
Date: Thu, 15 Mar 90 17:11:48 PST
From: hol@muztag.ucdavis.edu (HOL Package Account)
Message-Id: <9003160111.AA11858@muztag.ucdavis.edu>
To: info-hol@clover
Subject: HOL build problem

Hello all,
   I am having trouble building HOL (with AKCL 1.465) on a SUN3 running OS4.
Here is an exerpt from the build where the problem occurs:

-----------------------
echo '(load "lisp/mk-ml")'\
     '(load "lisp/mk-hol-lcf")'\
     '(setq %system-name "HOL-LCF")'\
     '(setq %liszt "/home/hol/akcl/bin/kcl")'\
     '(setq %version "1.11a (Sun OS4)")'\
     '(set-make)'\
     '(tml)'\
     'compile(`ml/ml-curry`,true);;'\
     'quit();;'\
     | /home/hol/akcl/bin/kcl
AKCL (Austin Kyoto Common Lisp)  Version(1.465) Fri Mar  2 16:31:06 PST 1990
Contains Enhancements by W. Schelter

>Loading lisp/mk-ml.o
Loading lisp/f-cl.o
.
.
....stuff deleted....
.
.
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'
------------------------

Note also that I get this same error attempting to build HOL on a VAX
8600 (with AKCL 1.236) as well.  The interesting this is that we ARE ABLE
build HOL fine on a SPARC station (with AKCL (1.243)) using the same
HOL source code.

As for the error, I looked around in the akcl source code and found
that the function (qfeof ... ) is used in cmpnew/cmpfun.lsp and
cmpnew/cmpopt.lsp.  But this is different from the function
compiler::qfeof as lisp error above states.  compiler::qfeof isn't
mentioned in the HOL source, either.

Has anyone else encountered this problem?  We find it very strange that
we can build HOL on one machine while it bombs on others using the
exact same HOL source.

Any help would be greatly appreciated.

Thanks,

Steven Bancroft
University of California, Davis

