Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Message-Id: <9407151404.AA09196@easynet.crl.dec.com>
Date: Fri, 15 Jul 94 10:04:21 EDT
From: "Tim Leonard, DTN 225-5809, HLO2-3/C11 15-Jul-1994 1003" 
      <leonard@ricks.enet.dec.com> 
To: info-hol@cs.uidaho.edu
Apparently-To: info-hol@cs.uidaho.edu
Subject: Building HOL88 v2.02 with Lucid CL on Ultrix/MIPS

I'm having trouble building HOL88 v2.02 with Lucid Common Lisp on Ultrix/MIPS.
The build gets through the first set of lisp files, and fails on the first ML
file, ml-curry.ml.  Do any of you have suggestions for fixing the problem, or
even for tracking it down?

Tim


/guests/leonard/lib/hol88/v2.02 % make hol
if [ cl = cl ]; then   echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq *cltl1-in-package-compatibility-p* t) (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq *enable-package-locked-errors* nil))'        '(compile-file "lisp/f-cl.l") (quit)'        | lisp; else    lisp/f-franz; fi
;;; Lucid Common Lisp/DECsystem
;;; Development Environment Version 4.0, 12 November 1990
;;; Copyright (C) 1985, 1986, 1987, 1988, 1989, 1990 by Lucid, Inc.
;;; All Rights Reserved
;;;
;;; This software product contains confidential and trade secret information
;;; belonging to Lucid, Inc.  It may not be copied for any reason other than
;;; for archival and backup purposes.
;;;
;;; Lucid Common Lisp is a trademark of Lucid, Inc.
;;; DECsystem is a trademark of Digital Equipment Corp.

> 
;;; You are using the compiler in DEVELOPMENT mode (compilation-speed = 3)
;;; If you want faster code at the expense of longer compile time,
;;; you should use the production mode of the compiler, which can be obtained
;;; by evaluating (proclaim '(optimize (compilation-speed 0)))
;;; Generation of full safety checking code is enabled (safety = 3)
;;; Optimization of tail calls is disabled (speed = 2)
;;; Reading source file "lisp/f-cl.l"
;;; Warning: File does not begin with IN-PACKAGE.  Compiling in package "USER"
;;; While compiling MAKE-OBJECT-FILENAME
;;; Warning: Free variable TEMP assumed to be special
;;; While compiling SET-FASL-FLAG
;;; Warning: Free variable |%print_fasl-flag| assumed to be special
;;; Writing binary file "lisp/f-cl.mbin"

	.
	.
	.

> echo '#+allegro (progn () (set-case-mode :case-insensitive-upper) (setq *cltl1-in-package-compatibility-p* t) (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t) (setq *enable-package-locked-errors* nil))'      '(load "lisp/mk-ml")'      '(load "lisp/mk-hol-lcf")'      '(setq %system-name "HOL-LCF")'      '(setq %liszt "")'      '(setq %version "2.02 (MIPS/Ultrix)")'      '(set-make)'      '(tml)'      'compile(`ml/ml-curry`,true);;'      'quit();;'      | lisp
;;; Lucid Common Lisp/DECsystem
;;; Development Environment Version 4.0, 12 November 1990
;;; Copyright (C) 1985, 1986, 1987, 1988, 1989, 1990 by Lucid, Inc.
;;; All Rights Reserved
;;;
;;; This software product contains confidential and trade secret information
;;; belonging to Lucid, Inc.  It may not be copied for any reason other than
;;; for archival and backup purposes.
;;;
;;; Lucid Common Lisp is a trademark of Lucid, Inc.
;;; DECsystem is a trademark of Digital Equipment Corp.

> 
;;; Loading binary file "lisp/mk-ml.mbin"
;;; Loading binary file "lisp/f-cl.mbin"
;;; Loading binary file "lisp/f-system.mbin"
;;; Loading binary file "lisp/f-constants.mbin"
;;; Loading binary file "lisp/f-site.mbin"
;;; Loading binary file "lisp/f-gp.mbin"
;;; Loading binary file "lisp/f-parser.mbin"
;;; Loading binary file "lisp/f-parsml.mbin"
;;; Loading binary file "lisp/f-mlprin.mbin"
;;; Loading binary file "lisp/f-typeml.mbin"
;;; Loading binary file "lisp/f-dml.mbin"
;;; Loading binary file "lisp/f-format.mbin"
;;; Loading binary file "lisp/f-tran.mbin"
;;; Loading binary file "lisp/f-iox-stand.mbin"
;;; Loading binary file "lisp/f-writml.mbin"
;;; Loading binary file "lisp/f-tml.mbin"
;;; Loading binary file "lisp/f-lis.mbin"
;;; Loading binary file "lisp/f-ol-rec.mbin"
;;; Loading binary file "lisp/f-help.mbin"
#P"/guests/leonard/lib/hol88/v2.02/lisp/mk-ml.mbin"
> 
;;; Loading binary file "lisp/mk-hol-lcf.mbin"
;;; Loading binary file "lisp/f-parsol.mbin"
;;; Loading binary file "lisp/f-typeol.mbin"
;;; Loading binary file "lisp/f-help.mbin"
;;; Loading binary file "lisp/f-format.mbin"
;;; Loading binary file "lisp/f-writol.mbin"
;;; Loading binary file "lisp/f-thyfns.mbin"
;;; Loading binary file "lisp/f-freadth.mbin"
;;; Warning: lisp/f-freadth.l is redefining function THY-READ
;;; Warning: Redefining function THY-READ which used to be defined in "lisp/f-thyfns.l"
;;; Loading binary file "lisp/f-ol-syntax.mbin"
;;; Loading binary file "lisp/f-subst.mbin"
;;; Loading binary file "lisp/f-inst.mbin"
;;; Loading binary file "lisp/f-simpl.mbin"
;;; Loading binary file "lisp/f-ol-net.mbin"
#P"/guests/leonard/lib/hol88/v2.02/lisp/mk-hol-lcf.mbin"
> 
"HOL-LCF"
> 
""
> 
"2.02 (MIPS/Ultrix)"
> 
;;; You are using the compiler in PRODUCTION mode (compilation-speed = 0)
;;; If you want shorter compile time at the expense of reduced optimization,
;;; you should use the development mode of the compiler, which can be obtained
;;; by evaluating (proclaim '(optimize (compilation-speed 3)))
;;; Generation of runtime error checking code is disabled (safety = 0)
;;; Optimization of tail calls is enabled (speed = 3)
;;; Expanding Reserved Memory
;;; GC: 36860 words [147440 bytes] of dynamic storage in use.
;;; 421890 words [1687560 bytes] of free storage available before a GC.
;;; 880640 words [3522560 bytes] of free storage available if GC is disabled.
NIL
> 
HOL-LCF version 2.02 (MIPS/Ultrix) created 14/7/94

#
mem = - : (* -> * list -> bool)

map = - : ((* -> **) -> * list -> ** list)

exists = - : ((* -> bool) -> * list -> bool)

forall = - : ((* -> bool) -> * list -> bool)

find = - : ((* -> bool) -> * list -> *)

tryfind = - : ((* -> **) -> * list -> **)

filter = - : ((* -> bool) -> * list -> * list)

mapfilter = - : ((* -> **) -> * list -> ** list)

rev_itlist = - : ((* -> ** -> **) -> * list -> ** -> **)

compiling = false : bool

compiling_stack = [] : bool list

load = - : ((string # bool) -> void)

compile = - : ((string # bool) -> void)

Calling Lisp compiler
error -- 
evaluation failed     compile -- Lisp compilation failed
*** Error code 1

Stop.
/guests/leonard/lib/hol88/v2.02 %