Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl id <02659-0@swan.cl.cam.ac.uk>; Mon, 14 Oct 1991 21:04:25 +0100 Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34) id AA22234; Mon, 14 Oct 91 12:58:12 pdt Received: by panther.cs.uidaho.edu (5.57/Ultrix3.0-C) id AA02721; Mon, 14 Oct 91 13:00:37 -0700 Message-Id: <9110142000.AA02721@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: Building HOl with AKCL Date: Mon, 14 Oct 91 13:00:36 -0700 From: Phil Windley X-Mts: smtp AKCL-1-530 is the last version of AKCL known to compile HOL 2.0. I'd appreciate knowing of any later versions that people get to work. There have been some internal changes in AKCL which cause HOL 2.0 not to compile under AKCL-1-600. Last week, someone sent me an error log from a HOl 2.0 build using AKCL. They had a problem which I didn't understand and sent the problem to John Van Tassel. John answered my mail, but I've deleted the mail message with the original problem and can't remember who sent it (long weekend ;-). Hope this gets into the right hands. --phil--