Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Mon, 8 Mar 1993 22:47:32 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16627; Mon, 8 Mar 93 14:36:43 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA16620; Mon, 8 Mar 93 14:36:32 -0800 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA03357 (5.65c/IDA-1.4.4 for info-hol@cs.uidaho.edu); Mon, 8 Mar 1993 14:44:26 -0800 Message-Id: <199303082244.AA03357@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: [dinh@CS.UCLA.EDU (Dinh Le): problem building HOL 2.01] Date: Mon, 08 Mar 93 14:44:26 -0800 From: Phil Windley X-Mts: smtp The following note was sent to me, but I think it was intended for the info-hol mailing list at large. --phil-- ------- Forwarded Message Return-Path: dinh@CS.UCLA.EDU Received: from ted.cs.uidaho.edu (cs.uidaho.edu) by panther.cs.uidaho.edu with SMTP id AA03344 (5.65c/IDA-1.4.4 for ); Mon, 8 Mar 1993 14:38:50 -0800 Received: from Kona.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA16546; Mon, 8 Mar 93 14:30:48 -0800 Received: by kona.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA12916; Mon, 8 Mar 93 14:30:35 -0800 Date: Mon, 8 Mar 93 14:30:35 -0800 From: dinh@CS.UCLA.EDU (Dinh Le) Message-Id: <9303082230.AA12916@kona.cs.ucla.edu> To: info-hol-request@ted.cs.uidaho.edu Subject: problem building HOL 2.01 I ftped HOL 2.01 from ted.cs.uidaho.edu and did a `make all'. It built hol-lcf but failed at ind.th. Below is a transcript: - ---------------------------------------------------------------------- =======> hol-lcf made cd /s/local2/hol/theories; rm -f ind.th;\ /s/local2/hol/hol-lcf < /s/local2/hol/theories/mk_ind.ml;\ cd /s/local2/hol HOL-LCF version 2.01 (SUN4/AKCL) created 8/3/93 ############################() : void ##Theory bool loaded () : void ##() : void ## () : void () : void () : void () : void () : void () : void () : void () : void ........() : void ................................................................................................................() : void File /s/local2/hol/ml/hol-in-out loaded () : void ##Badly typed application of: "/\" which has type: ":NIL" to the argument term: "ONE_ONE f" which has type: ":?" evaluation failed mk_comb in quotation Bye. *** Error code 1 make: Fatal error: Command failed for target `/s/local2/hol/theories/ind.th' Current working directory /amnt/kona/local2/hol *** Error code 1 make: Fatal error: Command failed for target `all' - ---------------------------------------------------------------------- Thanks for any pointer. Dinh ------- End of Forwarded Message