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; Wed, 6 Sep 1995 18:36:26 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA101746256;
          Wed, 6 Sep 1995 10:50:56 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from mailman.etecnw.com by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA101716252;
          Wed, 6 Sep 1995 10:50:52 -0600
Received: from ellie.etecnw.com by mailman.etecnw.com (4.1/SMI-4.1) id AA11651;
          Wed, 6 Sep 95 09:07:06 PDT
Date: Wed, 6 Sep 95 09:07:06 PDT
From: bill@etecnw.com (Bill Margolis)
Message-Id: <9509061607.AA11651@mailman.etecnw.com>
To: info-hol@leopard.cs.byu.edu
Subject: Building HOL on Linux ?

Hi all,

 I am trying to build HOL on a Linux PC, using the GNU Common Lisp, GCL.
 However, I can't seem to get beyond hol-lcf: it seems unable to `save'
 to a new file.
 
 Any suggestions, or hints about modifications to the Makefiles by anyone 
who may have already done this, would be greatly appreciated.

-thanks,
bill margolis