Return-Path: Return-Path: Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET with NIFTP to fgate (PP) id <18041-0@swan.cl.cam.ac.uk>; Wed, 5 Jun 1991 02:26:48 +0100 Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk with SMTP inbound id <28529-94@sun2.nsfnet-relay.ac.uk>; Wed, 5 Jun 1991 01:14:05 +0100 Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP id aa16567; 4 Jun 91 21:56 BST Received: from sun2.nsfnet-relay.ac.uk by ted.cs.uidaho.edu (15.11/1.34) id AA26440; Tue, 4 Jun 91 14:30:28 pdt Received: from eng.warwick.ac.uk by sun2.nsfnet-relay.ac.uk via JANET with NIFTP id <20641-0@sun2.nsfnet-relay.ac.uk>; Tue, 4 Jun 1991 19:01:03 +0100 Received: from eng.warwick.ac.uk (condor.eng.warwick.ac.uk) by eagle.eng.warwick.ac.uk; Tue, 4 Jun 91 19:03:03 BST From: esww@uk.ac.warwk.eng Date: Tue, 4 Jun 91 19:01:36 BST Message-Id: <3135.9106041801@eng.warwick.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: problem in building HOL on a sun4 using AKCL Has anyone successfully built HOL 1.12 on a sun4 using AKCL ver 1.530? We have problem in doing this. The problem is that, when compiling ml/hol-drule.ml, it falls into a black hole. We had to interrupt it after more than an hour. Can anyone give us some help? Thanks in advance. --------------------------------- Wai Wong ww@eng.warwick.ac.uk Dept. of Engineering, esww@eagle.warwick.ac.uk University of Warwick, Coventry, CV4 7AL Tel:+44 203 523523 ext.2200 England. =========================================================================