Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 12 May 1995 04:46:47 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA136959578;
          Thu, 11 May 1995 21:32:58 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from vega.anu.edu.au by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA136829570;
          Thu, 11 May 1995 21:32:50 -0600
Received: (from mcn@localhost) by vega.anu.edu.au (8.6.12/8.6.9) id NAA08134;
          Fri, 12 May 1995 13:31:23 +1000
Date: Fri, 12 May 1995 13:31:23 +1000
From: Malcolm Newey <Malcolm.Newey@cs.anu.edu.au>
Message-Id: <199505120331.NAA08134@vega.anu.edu.au>
To: info-hol@leopard.cs.byu.edu, beckerb@cs.ucdavis.edu
Subject: Re: Building HOL88-2.02 on Solaris with GCL-2.1
X-Sun-Charset: US-ASCII


Brian,

This is just the problem I alluded to in Info-hol mail of Mar 24 where I
gave a work-around.  The reference to this problem in the gcl mail archive
is 2 Mar 1995: Martin Simons was having this problem getting CMU's NESL 3.0
going under Solaris.  No sugestions for fixing this have since appeared on
the gcl mail list.  No function in HOL88 appears to call dlopen (or its
bretheren) directly so removing mention of `~/` is worth doing as a short term
fix. 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.

Malcolm