From @IRAUN1.IRA.UKA.DE:kumar@ira.uka.de  Thu Oct 18 05:20:21 1990
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0)
        id AA19428; Thu, 18 Oct 90 05:20:21 -0700
Received: from relay.cs.net by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA01025; Thu, 18 Oct 90 05:22:42 PDT
Message-Id: <9010181222.AA01025@clover.eecs.ucdavis.edu>
Received: from iraun1.ira.uka.de by RELAY.CS.NET id aa26746; 18 Oct 90 8:19 EDT
Received: from i81s1.ira.uka.de by iraun1.ira.uka.de id aa27146;
          18 Oct 90 13:13 MET
Date:     Thu, 18 Oct 90 13:05:49 MET
From: Ramayya Kumar <kumar%ira.uka.de@RELAY.CS.NET>
To: info-hol@CLOVER.UCDAVIS.EDU
Subject:  Need help creating a Sparc version using Sun CL 3.0.0


Hi!
I remember reading in hol-info quite sometime ago that some
people had problems building HOL with SUN CL 3.0.4. I am
trying to compile HOL on a SPARC machine using SUN CL 3.0.0.
I had to put some patches due the file extensions and have been
able to compile all the lisp files with lots of warnings.
Unfortunately I do not seem to be getting very far as far as the
ml files are concerned. The make file command

echo '(load "lisp/mk-ml")'\
     '(load "lisp/mk-hol-lcf")'\
     '(setq %system-name "HOL-LCF")'\
     '(setq %liszt "/usr/groups/hol/hol/liszt")'\
     '(setq %version "1.11_(Sparc)")'\
     '(set-make)'\
     '(tml)'\
     'compile(`ml/ml-curry`,true);;'\
     'quit();;'\
     | /tools/lisp/lisp-3-0-full

generates a file ml-curry_ml.l but then while trying to call the
lisp compiler, I get the following error.

Calling Lisp compiler
error --
evaluation failed     compile -- Lisp compilation failed
*** Error code 1
make: Fatal error: Command failed for target `ml/ml-curry_ml.o'

I would greatly appreciate any help in this regard.

Thanx a ton!
Cheers,
Kumar

While compiling the first file i.e. lisp/f-cl.l itself there
are some warnings corresponding to some unreferenced variables.
As the compilation proceeds

