Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <02851-0@swan.cl.cam.ac.uk>; Tue, 21 Jan 1992 22:17:50 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12178; Tue, 21 Jan 92 14:01:25 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from crl.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA12174; Tue, 21 Jan 92 14:01:18 -0800 Received: by crl.dec.com; id AA26785; Tue, 21 Jan 92 17:02:40 -0500 Received: by easynet.crl.dec.com; id AA12562; Tue, 21 Jan 92 17:01:06 -0500 Message-Id: <9201212201.AA12562@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Tue, 21 Jan 92 17:01:10 EST Date: Tue, 21 Jan 92 17:01:10 EST From: "Tim Leonard, Cantab. 21-Jan-1992 1650" To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: RE: Installing HOL. Ashish Karkare (akarkare@yoda.eecs.wsu.edu) says his make session crashes when building HOL on a DEC 3100 running Ultrix. I had the same problem when using Ultrix on a DEC 3100, with several different Lisps (Lucid, and AKCL in several versions). I still don't know what causes it. On my system, the make crashes are frequent (every few minutes), but are not repeatable. That is, they vary from run to run. Because they vary, it's possible to make progress by simply retrying the make (without doing a "make clean") and carrying on. By repeating this many, many times, I got HOL to build. The HOLs I've built seem to work fine. Tim