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; Tue, 28 Mar 1995 17:19:17 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA022626212; Tue, 28 Mar 1995 08:56:52 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from crl.dec.com by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA022506200; Tue, 28 Mar 1995 08:56:40 -0700 Received: by crl.dec.com; id AA04385; Tue, 28 Mar 95 10:48:03 -0500 Received: by easynet.crl.dec.com; id AA28899; Tue, 28 Mar 95 10:29:42 -0500 Message-Id: <9503281529.AA28899@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Tue, 28 Mar 95 10:47:50 EST Date: Tue, 28 Mar 95 10:47:50 EST From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" To: info-hol@leopard.cs.byu.edu Apparently-To: info-hol@leopard.cs.byu.edu Subject: Re: lisps for HOL88 I'm using HOL88 v2.02, built on gcl-1.1 on Ultrix on MIPS. No real problems. There's a minor bug in gcl on MIPS that interprets load_verbose as always set. The symptom is that lisp reports starting addresses when HOL loads files. The fix is included below. My application uses a good deal of memory, and overflowed a couple of stacks and the heap until I increased various limits. The changes are included below (some of which are probably redundant). Tim ------------------------------------------------------------------------------- gcl-1.1/c/faslsgi4.c Insert the "if" in each of two occurrances of: #ifdef mips if(symbol_value(Vload_verbose)!=Cnil) printf("start address -T %x ",memory->cfd.cfd_start); bzero(memory->cfd.cfd_start, MIPS_ROUND); fread(sectionheader.s_vaddr, textsize + datasize, 1, fp); gcl-1.1/h/att.h Allow use of 1GB memory. #define MAXPAGE (1024*1024) gcl-1.1/h/bsd.h Allow use of 1GB memory. #define MAXPAGE (1024*1024) hol/v2.02/lisp/akcl.l Allow use of more memory. (setq SI::*MULTIPLY-STACKS* 4)