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:46:49 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA122435960; Thu, 11 May 1995 20:32:40 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from motgate.mot.com by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA122405956; Thu, 11 May 1995 20:32:36 -0600 Received: from pobox.mot.com (pobox.mot.com [129.188.137.100]) by motgate.mot.com (8.6.11/8.6.10/MOT-3.6) with ESMTP id VAA13945 for ; Thu, 11 May 1995 21:31:43 -0500 Received: from comm.mot.com (il02dns1.comm.mot.com [145.1.3.2]) by pobox.mot.com (8.6.11/8.6.10/MOT-3.6) with SMTP id VAA13625 for ; Thu, 11 May 1995 21:31:42 -0500 Received: from overlord (overlord.stc.comm.mot.com) by comm.mot.com (4.1/SMI-4.0) id AA12292; Thu, 11 May 95 21:31:42 CDT Received: from weinberg by overlord (5.0/SMI-SVR4) id AA28386; Thu, 11 May 1995 21:31:36 -0500 Received: by weinberg (4.1/SMI-4.1) id AA08214; Thu, 11 May 95 21:31:35 CDT Date: Thu, 11 May 95 21:31:35 CDT From: Thomas Weigert Message-Id: <9505120231.AA08214@weinberg> To: beckerb@cs.ucdavis.edu Cc: HOL Mailing List Subject: Re: Building HOL88-2.02 on Solaris with GCL-2.1 In-Reply-To: <9505120149.AA20209@roma-cafe> References: <9505120149.AA20209@roma-cafe> Content-Length: 740 On Thu, 11 May 1995 18:49:52 +0800, beckerb@cs.ucdavis.edu said: BRB> Hello all, BRB> BRB> I've managed to compile GCL and HOL88 without too much difficulty. BRB> Unfortunately, the resultant HOL executable does not work: BRB> BRB> calling 'dl' function sun did not supply..exittingExit 1 BRB> ---------------------------------------------------------------------- From your symptoms I assume that you are running on a Sun under Solaris, right? I am not familiar with the internals of HOL88, but I had similar problems with my code when moving to solaris. I assume that there are some functions defined in HOL using the C interface. These must now be declared "static" otherwise you core dump. Hope this helps. Cheers, Thomas Weigert