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; Mon, 21 Nov 1994 09:53:57 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA01126;
          Mon, 21 Nov 1994 02:43:04 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA01108;
          Mon, 21 Nov 1994 02:42:05 -0700
Received: by tuminfo2.informatik.tu-muenchen.de via suspension id <93>;
          Mon, 21 Nov 1994 10:34:39 +0100
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <80>;
          Mon, 21 Nov 1994 10:32:26 +0100
Received: by sunbroy14.informatik.tu-muenchen.de id <8083>;
          Mon, 21 Nov 1994 10:31:13 +0100
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: reetz@ira.uka.de, info-hol@leopard.cs.byu.edu
In-Reply-To: <"i80fs2.ira.682:21.11.94.08.39.57"@ira.uka.de> (message from reetz on Mon, 21 Nov 1994 15:39:52 +0100)
Subject: Re: HOL90 on Solaris 2.3
Message-Id: <94Nov21.103113met.8083@sunbroy14.informatik.tu-muenchen.de>
Date: Mon, 21 Nov 1994 10:31:06 +0100


Ralph Reetz asks:

> Dear all,
> does anyboy know how to get HOL90.7 on Sun Sparc, Solaris 2.3 (!) running,
> i.e.  sml/nj 0.93 on Sun Sparc, Solaris 2.3 ?

Maybe you don't have the latest (circa July 14, 1994) solaris patches. I
had this problem and Emden Gansner solved it in the following message:

> ... I'd recommend getting a fresh copy of the compiler from
> research.att.com. If you just want to get going, make the following
> two changes:
> 
>  - in src/runtime/SPARC.prim.s, insert the line
> 
> #define _ASM
> 
> after line 11, so your code should look like
>
> #ifdef SOLARIS
> #define _ASM
> # include <sys/asm_linkage.h>
> # include <sys/trap.h>
> #else
> # include <machine/asm_linkage.h>
> # include <machine/trap.h>
> #endif
> 
> This is needed because Sun changed its include files between 2.1 (when
> I did the port) and 2.3. This will probably fix your build problem.
> 
>  - in src/runtime/export, change line 744 to
> 
> int getpagesize() { return(sysconf(_SC_PAGESIZE)); }
>


Konrad.