Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Fri, 26 Feb 1993 17:25:45 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24164;
          Fri, 26 Feb 93 09:13:03 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from a.cs.uiuc.edu by ted.cs.uidaho.edu (16.6/1.34) id AA24159;
          Fri, 26 Feb 93 09:12:52 -0800
Received: from ganges.cs.uiuc.edu by a.cs.uiuc.edu with SMTP 
          id AA17166 (5.64+/IDA-1.3.4 for info-hol@ted.cs.uidaho.edu);
          Fri, 26 Feb 93 11:12:30 -0600
Received: by ganges.cs.uiuc.edu (5.57/Ultrix3.0-C) id AA19360;
          Fri, 26 Feb 82 11:09:12 -0600
Date: Fri, 26 Feb 82 11:09:12 -0600
From: annap@edu.uiuc.cs.ganges (Anna Lynn Patterson)
Message-Id: <8202261709.AA19360@ganges.cs.uiuc.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Question about installation


I have been trying to install HOL with version 615 akcl.
So while getting the new akcl, I got the new HOL, now when I run 
the make, I can't even get hol-lcf to make.  

Instead, I get this error message.


#
/bin/sh: 12591 Bus error - core dumpedmake[1]: *** [ml/ml-curry_ml.o] Error 138


Does anyone have any ideas?  I am using the DEC5000's (same
instruction set as the 3100's).

Thanks,

-Anna