Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
From: rahard@ee.UManitoba.CA
Message-Id: <9505120310.AA25003@ic14.ee.umanitoba.ca>
Subject: Re: Building HOL88-2.02 on Solaris with GCL-2.1
To: beckerb@cs.ucdavis.edu (Brian R. Becker)
Date: Thu, 11 May 1995 22:10:19 -0500 (CDT)
Cc: info-hol@leopard.cs.byu.edu
In-Reply-To: <9505120156.AA04569@ice.cs.ucdavis.edu> from "Brian R. Becker" at May 11, 95 06:56:14 pm
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 968

Brian R. Becker writes:
>          HOL88 Version 2.02 (SUN4/AKCL), built on 11/5/95
...
> calling 'dl' function sun did not supply..exittingExit 1
> Does anyone have any hints they could provide as to the cause of this
> error?

Malcolm Newey sent me a "solution" to this problem.
Hope it helps you too.

-- budi
--- included msgs ---

From: Malcolm Newey <Malcolm.Newey@cs.anu.edu.au>
To: brahardj@win.trlabs.ca

Hi Budi,

There are several places in the HOL distribution where `~/` is mentioned.

The one you need to hack out to avoid the problem we are having is
at about line 245 of the Makefile.
Alter it to read       'set_search_path[``; `${Theory}/`];;'\

Maybe the other occurrences lead to other modes of failure, but I have
not tried to uncover them.  (eg in lisp/f-tml.l and ml/gen.ml)

Malcolm


-- 
Budi Rahardjo
<rahard@ee.umanitoba.ca>                 <Budi_Rahardjo@UManitoba.CA>
Electrical and Computer Engineering - University of Manitoba - Canada