Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <05133-0@swan.cl.cam.ac.uk>; Mon, 13 Apr 1992 10:38:25 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA13617; Mon, 13 Apr 92 02:30:17 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA13613; Mon, 13 Apr 92 02:30:01 -0700 Received: from scoter.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <04959-0@swan.cl.cam.ac.uk>; Mon, 13 Apr 1992 10:30:01 +0100 Received: by scoter.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA12652; Mon, 13 Apr 92 10:29:57 BST Date: Mon, 13 Apr 92 10:29:57 BST From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9204130929.AA12652@scoter.cl.cam.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: DECStations and AKCL Hi all, After performing some experiments over the week-end, I am able to say that the latest release of AKCL (1-609) is finally capable of being used for building HOL on DECStations. The fix to AKCL involved making sure that the DEC C compiler lined things up properly. So, everyone out there who had been struggling along with a port of plain KCL that core dumped, or have been unable to use their MIPS processors because of the lack of a suitable free lisp need do nothing more that grab AKCL-1-609 from cli.com, and life should be a *whole* lot easier. JVT ------------------------------------------------------------------------------ John Van Tassel | Tel: +44-223-334729 Univ. of Cambridge | Fax: +44-223-334678 Computer Laboratory | Pembroke Street | Email: jvt@cl.cam.ac.uk Cambridge CB2 3QG | England |