Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <29129-0@swan.cl.cam.ac.uk>; Mon, 13 Jul 1992 21:46:48 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04726; Mon, 13 Jul 92 12:35:53 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA04721; Mon, 13 Jul 92 12:35:49 -0700 Received: by leopard.cs.uidaho.edu (16.7/1.34) id AA25329; Mon, 13 Jul 92 12:38:50 -0700 From: hall@edu.uidaho.cs.leopard (Kelly Hall) Message-Id: <9207131938.AA25329@leopard.cs.uidaho.edu> Subject: HOL on HP 730? To: info-hol@edu.uidaho.cs.ted Date: Mon, 13 Jul 92 12:38:49 PDT Mailer: Elm [revision: 66.33] Hi all, I'm curious to know whether anyone has HOL running on an HP 730 series machine? I've been working on a this using AKCL, and up till now I've had very bad luck. AKCL seems to build OK, but during the HOL build, AKCL aborts with Illegal Instruction errors. Very disheartening. I've turned off optimizations for the AKCL build, as well as the HOL build, and still I get the errors. Any suggestions? Thanks in advance, Kelly -- Kelly Hall == hall@leopard.cs.uidaho.edu no disclaimer, no cute quotes