Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4); Thu, 7 Jan 1993 03:43:35 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06972;
          Wed, 6 Jan 93 19:25:26 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Ewa.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA06967;
          Wed, 6 Jan 93 19:25:14 -0800
Received: by ewa.cs.ucla.edu (Sendmail 5.61a+YP/2.27) id AA29661;
          Wed, 6 Jan 93 19:24:28 -0800
Date: Wed, 6 Jan 93 19:24:28 -0800
From: austel@edu.ucla.cs (Vernon Austel)
Message-Id: <9301070324.AA29661@ewa.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: problems compiling on rs6000


Hi,

I tried unsuccessfully to compile HOL88 on an RS6000.
akcl seemed to compile correctly with the ``rios'' definitions.
I made only minor changes to the HOL makefile (pathnames).
I'm using the system C compiler.  What follows is the end
of a typescript of the compile session.  Any help would be appreciated.

Vernon Austel

(lots of stuff deleted ...)

	echo 'set_search_path[``; `/usr/local/src/hol88//theories/`];;'\
		     'load_theory `bool`;;'\
		     'compilet `ml/hol-drule`;;'\
		     'quit();;'\
		     | hol-lcf

HOL-LCF version 2.01 (SUN4/AKCL) created 6/1/93

#() : void

Theory bool loaded
() : void



Error: FUN%3057%371 is invalid as a function.
Fast links are on: do (use-fast-links nil) for debugging
Error signalled by FUNCALL.
Backtrace:  > funcall > lambda > fun%937%53 > funcall > lambda > cond > cond > fun%937%50 > execute > funcall
evaluation failed     lisp error
evaluation failed     load -- ml/hol-rule
evaluation failed     compile -- ml/hol-drule
Bye.
make: 1254-004 The error code from the last command is 1.

Make Quitting.