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; Tue, 12 Apr 1994 02:47:29 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA17039;
          Mon, 11 Apr 1994 19:32:24 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from elysium.cs.ucdavis.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA17035;
          Mon, 11 Apr 1994 19:32:21 -0600
Received: from localhost.cs.ucdavis.edu 
          by elysium.cs.ucdavis.edu (5.65/UCD.CS.2.5) id AA17520;
          Mon, 11 Apr 1994 18:30:50 -0700
Message-Id: <9404120130.AA17520@elysium.cs.ucdavis.edu>
To: Jim Grundy <jug@itd.dsto.gov.au>
Cc: info-hol@leopard.cs.byu.edu
Subject: Re: HOL88 on Linux?
In-Reply-To: Your message of "Tue, 12 Apr 94 08:54:38 +0930." <9404112324.AA18271@itd0.dsto.gov.au>
Date: Mon, 11 Apr 94 18:30:50 -0700
From: benson@cs.ucdavis.edu
X-Mts: smtp


>I have just installed Linux on my new PC compatable.   I was wondering if 
>anybody has got hol88 running under Linux?

I am running HOL88 2.01 built with AKCL 1.615 on Linux.  It works well.  

>I haven't given it a serious shot, but I started last night by trying to
>build kcl - without any success.   So,... can anyone tell me how to get
>kcl/akcl to build, or can point me at an akcl binary?

look on sunsite.unc.edu in

/pub/Linux/devel/lisp

for the AKCL binary and source.

If you have problems building HOL I can send you my makefile.

Greg