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; Thu, 2 Jun 1994 00:52:19 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA22507; Wed, 1 Jun 1994 17:36:48 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from [131.185.4.1] by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA22495; Wed, 1 Jun 1994 17:35:27 -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 AA27586; Thu, 2 Jun 1994 09:01:55 +0930 Date: Thu, 2 Jun 1994 09:01:55 +0930 From: Jim Grundy Message-Id: <9406012331.AA27586@itd0.dsto.gov.au> To: byu@twu.ca, info-hol@leopard.cs.byu.edu Subject: Re: Linux and HOL In-Reply-To: Mail from 'info-hol-request@lal.cs.byu.edu' dated: Wed, 1 Jun 94 10:26:21 PDT Hi I run HOL under Linux. The details of my configuration are: Linux: Slackware 1.1.2 (with a 1.08 Kernal and the Slackware 1.2 Development Series disks). HOL: HOL88 2.02 AKCL: AKCL-1-625 First thing to note is that the AKCL binary available from sunsite just do not work. Its was build with an old version of the libc library and the functions for writing files have changed. This is why compelet does not work - I had exactly the same problem. The thing to do it to get yourself the lastest version of AKCL from the Austin ftp site and build it from source. AKCL-1-625 and later have linux as one of the preconfigured machine types and they should build right out of the box. I am running AKCL-1-625. Actually I had some trouble building it because while the version of libc that came with Slackware 1.1.2 was too recent to run the sunsite AKCL binary, it was too old to build the latest AKCL. So, you may also have to get the latest version of libc, which I did by just installing the Slackware 1.2 development series disks. Once I had a nonbroken AKCL everything built no problems. Jim ======================================================================== Information Technology Division | Building 171 Laboratories Area | phone: +61 8 2596162 PO Box 1500 | fax: +61 8 2595980 Salisbury SA 5108 | email: jug@itd.dsto.gov.au AUSTRALIA | telex: AA82799 ========================================================================