Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 22 Sep 1993 18:10:58 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA22402; Wed, 22 Sep 93 09:48:26 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from leopard.cs.byu.edu by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA22398; Wed, 22 Sep 93 09:48:23 -0700 Received: by leopard.cs.byu.edu (1.37.109.4/16.2) id AA22353; Wed, 22 Sep 93 10:51:10 -0600 From: Kelly Hall Subject: HOL/AKCL problems... To: info-hol@cs.uidaho.edu (HOL mailing list), kcl@cli.com Date: Wed, 22 Sep 93 10:51:09 MDT Mailer: Elm [revision: 70.85] Message-ID: <"swan.cl.cam.:192620:930922171201"@cl.cam.ac.uk> Hi, I've installed HOL88 and AKCL on our HP 735 running HPUX 9.01 and I've had a few problms. AKCL version 1.615 built with few problems (after I added to the #define HAVE_AOUT line in h/hp800.defs). I left all other options inside of h/hp800.defs alone. HOL had more problems. While building the libraries using the makefile, there were lots of random failures. Most of these went away if I started HOL by hand and entered the commands from the Makefile manually. The remaining errors were of the 'segmentation violation' and 'illegal instruction' variety: I re-ran the offending command until the error ceased to appear. Now that HOL is built, there is still one problem remaining that's annoying me to no end: HOL seems unable to load compiled files. Attempting to load a *_ml.o file results in a 'ld error' message. I'm willing to live with problems building HOL, but trying to use the larger libraries uncompiled is not my idea of fun. Additional information: I've applied every HP supplied patch that seems appropriate including patches for cc, ld, make, vi, tar, libc, sh, ksh, and csh. Any help would be much appreciated... Kelly -- Kelly Hall ::= hall@leopard.cs.byu.edu