Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by nene.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 13 Sep 1995 09:05:49 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA265017097; Tue, 12 Sep 1995 11:31:37 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from tango.rahul.net by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA264987095; Tue, 12 Sep 1995 11:31:35 -0600 Received: from bolero.rahul.net by tango.rahul.net with SMTP id AA23611 (5.67b8/IDA-1.5 for ); Tue, 12 Sep 1995 10:31:05 -0700 Received: from bedlam.rahul.net by bolero.rahul.net with SMTP id AA04240 (5.67b8/IDA-1.5 for ); Tue, 12 Sep 1995 10:30:36 -0700 Received: by bedlam.rahul.net id m0ssZ8m-0005koC (Debian /\oo/\ Smail3.1.29.1 #29.31); Tue, 12 Sep 95 10:29 PDT Message-Id: Date: Tue, 12 Sep 95 10:29 PDT From: bhogan@bedlam.rahul.net (Bill Hogan) To: info-hol@leopard.cs.byu.edu Subject: SUNYSB njsml-93 & Linux & hol-90.7 & CAML Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Hello. I want to try to compile hol-90.7 on Linux using SUNYSB njsml-93. I did not have any problems building SUNYSB njsml-93 on Linux about a year ago but this time it was no go. This time, `makeml-linux' went got this far and then stopped: ----------------------- quote --------------------------- ... [Loading boot/overloads.sml] structure Overloads : ... Go for it - [Major collection... 55% used (3662460/6603984), 1580 msec] [Decreasing heap to 10792k] [Major collection... 98% used (3638384/3683620), 1600 msec] uncaught exception Io "exportML "sml": Bad address" --------------------------- unquote ----------------------- Who was it said "Go for it"? Is anyone actively working on njsml-93 any more? Or is CAML where it's at these days? Is it possible to compile HOL 90 on CAML? Thank you. Bill