Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4); Fri, 8 Jan 1993 14:19:42 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12875; Fri, 8 Jan 93 06:07:53 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from toadflax.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) id AA12870; Fri, 8 Jan 93 06:07:46 -0800 Received: from ib.rl.ac.uk by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.0) id AA22054; Fri, 8 Jan 93 05:27:09 PST Message-Id: <9301081327.AA22054@toadflax.cs.ucdavis.edu> Received: from UKACRL.BITNET by ib.rl.ac.uk (IBM VM SMTP V2R1) with BSMTP id 0203; Fri, 08 Jan 93 13:23:58 GMT Received: from RL.IB by UKACRL.BITNET (Mailer R2.07) with BSMTP id 9129; Fri, 08 Jan 93 13:23:58 GMT Received: from RL.IB by UK.AC.RL.IB (Mailer R2.07) with BSMTP id 0747; Fri, 08 Jan 93 13:23:57 GMT Via: UK.AC.MMU.CS.SA; 8 JAN 93 13:23:56 GMT Date: Fri, 08 Jan 93 13:23:51 From: DE9DA34%SA.CS.MMU.AC.UK@uk.ac.rl.ib Subject: HOL 2.01 on decstation To: info-hol@edu.ucdavis.cs Attempting to build HOL 2.01 on a DECstation 5000 on top of kcl.mips gives the following error: >(compile-file "lisp/f-cl.l") Compiling lisp/f-cl.l. ; (SHADOW '(QUIT)) is being compiled. ;; Warning: The package operation (SHADOW '(QUIT)) was in a bad place. ; (SHADOW '(INCLUDE)) is being compiled. ;; Warning: The package operation (SHADOW '(INCLUDE)) was in a bad place. ; (SHADOW '(UNTIL WHILE)) is being compiled. ;; Warning: The package operation (SHADOW '(UNTIL WHILE)) was in a bad place. ; (SHADOW '(MEMQ ASSQ ...)) is being compiled. ;; Warning: The package operation (SHADOW '(MEMQ ASSQ DELQ PUTPROP)) was in a bad place. ; (DEFUN SET-FASL-FLAG ...) is being compiled. ;; The variable |%print_fasl-flag| is undefined. ;; The compiler will assume this variable is a global. Error: Cannot find the external symbol GBC-TIME in #<"SYSTEM" package>. Error signalled by READ. Broken at READ. Type :H for Help. >> Is a modified f-cl.l required? Damian Anderson Manchester Metropolitan University.