Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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, 2 Dec 1993 23:37:15 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA17793;
          Thu, 2 Dec 1993 16:28:36 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.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 AA17789;
          Thu, 2 Dec 1993 16:28:28 -0700
Received: from brownlee.cs.uidaho.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA11766; Thu, 2 Dec 93 15:25:35 -0800
Received: by brownlee.cs.uidaho.edu (1.37.109.4/16.2) id AA24031;
          Thu, 2 Dec 93 15:25:35 -0800
Date: Thu, 2 Dec 93 15:25:35 -0800
From: toshok@cs.uidaho.edu
To: info-hol@cs.uidaho.edu
Subject: Problem with hol/akcl 1.615 on HP9000/HPUX9.01
Message-ID: <"swan.cl.cam.:131470:931202233756"@cl.cam.ac.uk>

Hello all,

  I guess it's my turn to throw up my hands at building hol2.01 on an
hp9000 running hpux 9.01 :)  hol-lcf is built, but runs into problems with
building the base theory files (PPLAMB, bool, etc.)

  A transcript follows:

[begin transcript]
# make hol
        cd /usr/locals/build/build/hol/theories; rm -f PPLAMB.th;\
        /usr/locals/build/build/hol/hol-lcf <
/usr/locals/build/build/hol/theories/mk_PPLAMB.ml;\
        cd /usr/locals/build/build/hol

HOL-LCF version 2.01 (HP9000/7xx -- AKCL 1.615) created 2/12/93

###########################() : void

##() : void

##() : void

##Bye.
=======> theory PPLAMB built
        cd /usr/locals/build/build/hol/theories; rm -f bool.th;\
        /usr/locals/build/build/hol/hol-lcf <
/usr/locals/build/build/hol/theories/mk_bool.ml;\
        cd /usr/locals/build/build/hol

HOL-LCF version 2.01 (HP9000/7xx -- AKCL 1.615) created 2/12/93

################################################################################################()
: void

##
Error: NIL is not of type CHARACTER.
Fast links are on: do (use-fast-links nil) for debugging
Error signalled by FUNCALL.
Backtrace:  > funcall > lambda > ml-new_parent > funcall
evaluation failed     new_parent -- PPLAMB theory damaged
Bye.
*** Error code 1

Stop.
# 
[end transcript]

  I have tries doing a "make clobber" and then restarting, but it always
dies at the same place.  Help!

===================================================================
Chris Toshok                    |  toshok@cs.uidaho.edu
                                |
Research Assistant              |  Assistant Systems Administrator 
Laboratory for Applied Logic    |  Computer Services
University of Idaho             |  University of Idaho
===================================================================