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, 16 Jun 1994 04:20:05 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA19187; Wed, 15 Jun 1994 21:09:25 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA19183; Wed, 15 Jun 1994 21:09:21 -0600 Received: from leopard.cs.uidaho.edu by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA18823; Wed, 15 Jun 1994 20:07:57 -0700 Received: by leopard.cs.uidaho.edu (1.37.109.4/16.2) id AA26772; Wed, 15 Jun 94 20:07:55 -0700 Date: Wed, 15 Jun 94 20:07:55 -0700 From: toshok@cs.uidaho.edu To: info-hol@leopard.cs.byu.edu Subject: Problem building hol90.6 on Decstation5000/200 Message-ID: <"swan.cl.cam.:081070:940616032052"@cl.cam.ac.uk> I know this is pretty silly, since I've built hol90.6 on the same machine before, but I seem to be having problems building it now. I got the distribution from research.att.com:/dist/ml/hol90, and unpacked everything. I typed "make_hol sml -n" in the ./src directory, and this is what happened: -------- Begin Strange HOL90 build transcript ------------- Standard ML of New Jersey, Version 0.93, February 15, 1993 val it = () : unit - infix 9 sub open Array exception Subscript = Subscript val tabulate = fn : int * (int -> '1a) -> '1a array val length = : 'a array -> int val sub = : 'a array * int -> 'a val arrayoflist = fn : '1a list -> '1a array val array = fn : int * '1a -> '1a array exception Size = Size val update = : 'a array * int * 'a -> unit val length = fn : 'a list -> int val it = () : unit val it = () : unit val it = () : unit val it = () : unit val it = () : unit [opening 0/sys_params.sig] signature Sys_params_sig = sig datatype thy_opt con make_binary : thy_opt con make_new_ascii : thy_opt con use_old_ascii : thy_opt val theory_file_option : thy_opt val HOL_base_directory : string end val it = () : unit [opening 0/sys_params.sml] functor SYS_PARAMS : val it = () : unit uncaught exception SystemCall - sh: ./hol90.01: not found sh: ./hol90.01: not found sh: ./hol90.01: not found sh: ./hol90.01: not found sh: ./hol90.01: not found sh: ./hol90.01: not found sh: ./hol90.01: not found rm: ./hol90.01 nonexistent sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found sh: ./hol90.2: not found rm: ./hol90.2 nonexistent -------- End Strange HOL90 build transcript --------------- What gives? Has the code for hol90.6 changed recently, without warning, or did I just get a bad distribution? +------------------------------+----------------------------------+ |Chris Toshok | email: toshok@cs.uidaho.edu | | of The Group Public | | |www: http://www.cs.uidaho.edu/lal/students/toshok.dir/toshok.html| +-----------------------------------------------------------------+ On the internet, no one knows you're a CHICKEN! A GIANT CHICKEN! -- Denis Moskowitz