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, 1 Jul 1994 10:02:47 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA01475;
          Fri, 1 Jul 1994 02:51:14 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from hp9000.csc.cuhk.hk by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA01469;
          Fri, 1 Jul 1994 02:51:09 -0600
Received: from iist.unu.edu (unuiist.iist.unu.edu) by hp9000.csc.cuhk.hk 
          with SMTP (1.37.109.9/16.2) id AA2037255302;
          Fri, 1 Jul 1994 16:47:02 +0800
Received: from sif.iist.unu.edu by iist.unu.edu (4.1/SMI-4.1) id AA24015;
          Fri, 1 Jul 94 16:49:49 HKT
Received: from localhost by sif.iist.unu.edu (4.1/SMI-4.1) id AA20322;
          Fri, 1 Jul 94 16:49:45 HKT
Message-Id: <9407010849.AA20322@sif.iist.unu.edu>
To: info-hol@leopard.cs.byu.edu
Cc: ww@iist.unu.edu
Subject: Success in building numeral library
Date: Fri, 01 Jul 94 16:48:59 +0800
From: Wong Wai <ww@iist.unu.edu>

On 30 Mar 1994, Jim Grundy Said he ran into problem in building the
numeral library. I had the same problem last week. I then follow
the advice by Tim Leonard to make the radices list minimum, i.e.,

	letref radices = [2];;

My compiler still could not cope with it. I used AKCL 1.605 compiled
using cc on a SparcServer10 running SunOS 4.1.3. I could not build
this version of AKCL with gcc. 

I then got a copy of gcl 1.0 (a new release of AKCL unber GNU
public licence). I built this using gcc without problem. Then, I
built the whole HOL2.02 system and all the libraries without
problem. The radices list in numeral was set to [10].

Get the new gcl if you have problem.

Hope this information will be useful.

Wai