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; Thu, 14 Apr 1994 02:50:29 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA08798; Wed, 13 Apr 1994 19:27:04 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from hp.com by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA08793; Wed, 13 Apr 1994 19:27:02 -0600 Received: from gslxsrv.rose.hp.com by hp.com with SMTP (1.36.108.7/15.5+IOS 3.13) id AA27291; Wed, 13 Apr 1994 18:27:37 -0700 Received: by gslxsrv.rose.hp.com (1.37.109.4/15.5+ECS 3.3) id AA09872; Wed, 13 Apr 94 18:27:33 -0700 From: Albert Camilleri Message-Id: <9404140127.AA09872@gslxsrv.rose.hp.com> Subject: Building HOL 90 on HPPA To: info-hol@leopard.cs.byu.edu Date: Wed, 13 Apr 94 18:27:32 PDT Mailer: Elm [revision: 70.85] After making the recommended patches, I tried building hol90.6 on an HPPA machine, using the command make_hol sml -n Unfortunately SML seems to keel over before too long. Does anybody know a way around this? Or a fix? An extract from the log file is given below, to give some indication of where the build fell over. Any help will be gratefully received. Cheers --Albert ----------------------- ... [opening 0/base_logic.sig] signature Base_logic_sig = sig structure Save_hol : ... structure Type : ... structure Term : ... structure Match : ... structure Dsyntax : ... structure Net : ... structure Thm : ... structure Theory : ... structure Add_to_sml : ... structure Library : ... structure Install : ... structure Const_spec : ... structure Type_def : ... structure Const_def : ... structure Min : ... structure Exists : ... sharing Const_def.Theory = Type_def.Theory = Const_spec.Theory = Theory sharing Theory.Thm = Thm sharing Thm.Term = Net.Term = Dsyntax.Term = Match.Term = Term sharing Term.Type = Type sharing type Theory.Thm.thm = Exists.thm end val it = () : unit [opening 0/term_io.sig] signature Term_io_sig = sig structure Parse : ... structure Parse_support : ... structure Hol_pp : ... end val it = () : unit = [Major collection... 66% used (6784368/10211696), 1400 msec] [Increasing heap to 20070k] Theory "min" declared. Theory "min" closed. Declaring theory "bool". Theory "min" exported. Theory "bool" closed. structure Base_logic : Base_logic_sig structure Term_io : Term_io_sig open Base_logic structure Save_hol : Save_hol_sig structure Type : Public_type_sig structure Term : Public_term_sig structure Match : Match_sig structure Dsyntax : Dsyntax_sig structure Net : Net_sig structure Thm : Thm_sig structure Theory : Theory_sig structure Add_to_sml : Add_to_sml_sig structure Library : Library_sig structure Install : Install_sig structure Const_spec : Const_spec_sig structure Type_def : Type_def_sig structure Const_def : Const_def_sig structure Min : Mk_min_sig structure Exists : Mk_exists_sig [opening /formal/HOL/hol90.6/theories/src/mk_bool.sml] /formal/HOL/hol90.6/src/make_hol: 15399 Memory fault /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.01: not found rm: ./hol90.01 non-existent /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found /formal/HOL/hol90.6/src/make_hol: ./hol90.2: not found rm: ./hol90.2 non-existent --------------------------------------- ----------------------------------------------------------------- | Albert J Camilleri | | | Hewlett-Packard Company | | | Systems Technology Division | Tel : +1 916 785 8488 | | Mailstop R5/EF | Fax : +1 916 785 3096 | | 8000 Foothills Boulevard | Email: ac@hprpcd.rose.hp.com | | Roseville, CA 95747 | | | USA | | -----------------------------------------------------------------