Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 14 Dec 1992 02:45:56 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06576; Sun, 13 Dec 92 18:26:40 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA06571; Sun, 13 Dec 92 18:26:32 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA09258; Sun, 13 Dec 92 18:25:59 -0800 Message-Id: <9212140225.AA09258@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list) Subject: How long it takes to build HOL 2.01 Date: Sun, 13 Dec 92 18:25:58 PST From: chou@edu.ucla.cs Having done it just yesterday, I'm curious about how long it takes to build HOL 2.01 on various machines. In my case, "make hol" took 3.5 hours and "make library" 17.5 hours on a NeXT machine with 68040 running at 25 MHz and 20Meg RAM and AKCL-1-605. This is MUCH slower than the one shown in the sample make log that comes with the release. - Ching Tsun