Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 13 Apr 1994 04:55:07 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA29331; Tue, 12 Apr 1994 21:35:27 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from itd0.dsto.gov.au by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA29319; Tue, 12 Apr 1994 21:34:56 -0600 Received: from tcs22.dsto.gov.au by itd0.dsto.gov.au with SMTP (5.64+1.3.1+0.50/DSTO-1.0) id AA00846; Wed, 13 Apr 1994 13:05:17 +0930 Date: Wed, 13 Apr 1994 13:05:17 +0930 From: Jim Grundy Message-Id: <9404130335.AA00846@itd0.dsto.gov.au> To: info-hol@leopard.cs.byu.edu Subject: HOL2.02 Build Problem Hi all Well thanks to all those yesterday who pointed me in the right direction of a version of AKCL for Linux - which I got and installed fine last night. I then tried to build HOL - and well I'm back here bothering you all again so I guess you can tell it didn't quite work. My make broke trying to compile ml/ml-curry_ml.o. It loaded the contents of ml-curry.ml fine, it just immediately afterwards. I tried asking it to just load the file instead of compile, but that failed in the same way, but cutting and pasting the contents of ml-curry.ml into an interactive ml session worked fine. Incase anyone knows what is going on, I am inluding a log of the make session. Thanks in advance for anyone who knows how to help: Jim 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 (SUN4/AKCL)")'\ '(set-make)'\ '(tml)'\ 'compile(`ml/ml-curry`,true);;'\ 'quit();;'\ | /usr/local/bin/akcl AKCL (Austin Kyoto Common Lisp) Version(1.615) Mon Apr 26 16:23:15 MET DST 1993 Contains Enhancements by W. Schelter >Loading lisp/mk-ml.o Loading lisp/f-cl.o undefined _feof symbolstart address -T 1e1800 Finished loading lisp/f-cl.o Loading lisp/f-system.o start address -T 1e5000 Finished loading lisp/f-system.o Loading lisp/f-constants.o start address -T 1e0e34 Finished loading lisp/f-constants.o Loading lisp/f-site.o start address -T 1e0e70 Finished loading lisp/f-site.o Loading lisp/f-gp.o start address -T 1e6304 Finished loading lisp/f-gp.o Loading lisp/f-parser.o start address -T 1ec800 Finished loading lisp/f-parser.o Loading lisp/f-parsml.o start address -T 1f0000 Finished loading lisp/f-parsml.o Loading lisp/f-mlprin.o start address -T 1e7414 Finished loading lisp/f-mlprin.o Loading lisp/f-typeml.o start address -T 1f8800 Finished loading lisp/f-typeml.o Loading lisp/f-dml.o start address -T 203000 Finished loading lisp/f-dml.o Loading lisp/f-format.o start address -T 207000 Finished loading lisp/f-format.o Loading lisp/f-tran.o start address -T 209800 Finished loading lisp/f-tran.o Loading lisp/f-iox-stand.o start address -T 213000 Finished loading lisp/f-iox-stand.o Loading lisp/f-writml.o start address -T 215800 Finished loading lisp/f-writml.o Loading lisp/f-tml.o start address -T 218800 Finished loading lisp/f-tml.o Loading lisp/f-lis.o start address -T 221000 Finished loading lisp/f-lis.o Loading lisp/f-ol-rec.o start address -T 222000 Finished loading lisp/f-ol-rec.o Loading lisp/f-help.o start address -T 221b58 Finished loading lisp/f-help.o start address -T 1e0c4c Finished loading lisp/mk-ml.o 372 >Loading lisp/mk-hol-lcf.o Loading lisp/f-parsol.o start address -T 224800 Finished loading lisp/f-parsol.o Loading lisp/f-typeol.o start address -T 228000 Finished loading lisp/f-typeol.o Loading lisp/f-help.o start address -T 214b48 Finished loading lisp/f-help.o Loading lisp/f-format.o start address -T 22b000 Finished loading lisp/f-format.o Loading lisp/f-writol.o start address -T 22d000 Finished loading lisp/f-writol.o Loading lisp/f-thyfns.o start address -T 231000 Finished loading lisp/f-thyfns.o Loading lisp/f-freadth.o Warning: lisp/f-freadth.l is redefining function THY-READstart address -T 23c800 Finished loading lisp/f-freadth.o Loading lisp/f-ol-syntax.o start address -T 23e800 Finished loading lisp/f-ol-syntax.o Loading lisp/f-subst.o start address -T 244800 Finished loading lisp/f-subst.o Loading lisp/f-inst.o start address -T 248000 Finished loading lisp/f-inst.o Loading lisp/f-simpl.o start address -T 24c000 Finished loading lisp/f-simpl.o Loading lisp/f-ol-net.o start address -T 24d000 Finished loading lisp/f-ol-net.o start address -T 201654 Finished loading lisp/mk-hol-lcf.o 372 >"HOL-LCF" >"" >"2.02 (SUN4/AKCL)" >NIL > HOL-LCF version 2.02 (SUN4/AKCL) created 12/4/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) Error: NIL is not a VECTOR Fast links are on: do (use-fast-links nil) for debugging Error signalled by FUNCALL. Backtrace: system:top-level > eval > tml > funcall > funcall > lambda > ml-compile > funcall parse failed lisp error evaluation failed compile -- ml/ml-curry Bye. ======================================================================== Information Technology Division | Building 171 Laboratories Area | phone: +61 8 2596162 PO Box 1500 | fax: +61 8 2595980 Salisbury SA 5108 | email: jug@itd.dsto.gov.au AUSTRALIA | ========================================================================