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 00:48:34 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA16048;
          Mon, 11 Apr 1994 17:24:29 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from itd0.dsto.gov.au by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA16044;
          Mon, 11 Apr 1994 17:24:10 -0600
Received: from tcs22.dsto.gov.au by itd0.dsto.gov.au 
          with SMTP (5.64+1.3.1+0.50/DSTO-1.0) id AA18271;
          Tue, 12 Apr 1994 08:54:38 +0930
Date: Tue, 12 Apr 1994 08:54:38 +0930
From: Jim Grundy <jug@itd.dsto.gov.au>
Message-Id: <9404112324.AA18271@itd0.dsto.gov.au>
To: info-hol@leopard.cs.byu.edu
Subject: HOL88 on Linux?


Hi

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

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?

Thanks in advance

Jim