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; Wed, 15 Jun 1994 15:36:25 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA13782; Wed, 15 Jun 1994 08:16:00 -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 AA13778; Wed, 15 Jun 1994 08:15:55 -0600 Received: from infix.cs.ruu.nl by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA15795; Wed, 15 Jun 1994 07:14:15 -0700 Received: from relics.cs.ruu.nl by relay.cs.ruu.nl with SMTP id AA05921 (5.67a/IDA-1.5 for ); Wed, 15 Jun 1994 16:14:03 +0200 Received: by relics.cs.ruu.nl id AA23395 (5.67a/IDA-1.5 for info-hol@ted.cs.uidaho.edu); Wed, 15 Jun 1994 16:14:00 +0200 From: Jaap Romers Message-Id: <199406151414.AA23395@relics.cs.ruu.nl> Subject: Hol on SGI's To: info-hol@cs.uidaho.edu Date: Wed, 15 Jun 1994 16:14:00 +0200 (METDST) X-Organization: Department of Computer Science, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, The Netherlands. phone: +31-30-532248, telefax: +31-30-513791 X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 600 Hi, I'm trying to install hol88-2.02 with akcl-1.619. The akcl installation went fine, but the hol installation didn't succeed. Are there sites running hol on a Sgi ? Or is there a place where I can get information about this (I already tried the mailing list archive). The system is a Indigo with Irix-4.0.3f. By the way, I have experience with installing hol on a HP9000/7x0 :-) Jaap -- J.M. Romers | Fortune : "Internet will be as essential as Computer Systems Group | water, power, phones, sewers, roads Email: Jaap.Romers@cs.ruu.nl | and beer."