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:17:00 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA112453827; Thu, 11 May 1995 19:57:07 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from toadflax.cs.ucdavis.edu by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA112403824; Thu, 11 May 1995 19:57:04 -0600 Received: from ice.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) id AA13127; Thu, 11 May 95 18:56:15 PDT Received: by ice.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA04569; Thu, 11 May 1995 18:56:14 -0700 Date: Thu, 11 May 1995 18:56:14 -0700 From: beckerb@cs.ucdavis.edu (Brian R. Becker) Message-Id: <9505120156.AA04569@ice.cs.ucdavis.edu> 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) 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