Return-Path: 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 03:16:10 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA112173728; Thu, 11 May 1995 19:55:28 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from roma-cafe (roma-cafe.cs.ucdavis.edu) by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA112143726; Thu, 11 May 1995 19:55:26 -0600 Received: by roma-cafe (5.0/UCD.CS.2.6) id AA20209; Thu, 11 May 1995 18:49:52 +0800 Date: Thu, 11 May 1995 18:49:52 +0800 From: beckerb@cs.ucdavis.edu Message-Id: <9505120149.AA20209@roma-cafe> To: HOL Mailing List Subject: Building HOL88-2.02 on Solaris with GCL-2.1 X-Attribution: BRB X-Mail-Reader: VM (5.75 (beta)) in Emacs (19.11 XEmacs Lucid) Content-Length: 767 Hello all, I've managed to compile GCL and HOL88 without too much difficulty. Unfortunately, the resultant HOL executable does not work: ---------------------------------------------------------------------- roma-cafe:228 ~/pkg/hol88> hol =============================================================================== 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? Let me know if more information is required. Thanks. -- Brian R. Becker beckerb@cs.ucdavis.edu