Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Message-Id: <199601171649.AA185237393@puma.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: New SML, old hol90 problem
Date: Wed, 17 Jan 1996 09:49:52 -0700
From: Kelly Hall <hall@cs.byu.edu>

Hi Folks,

I'm still having problems getting hol90 to build even though I've just
tried it with the newest SML/NJ, 108.21.  At this point I'm still
unsure where the problem lies: sml or hol90.  I've tried to track this
down by building hol90 on a local Sparc box, but unfortunately our
few Sparc machines are too low-end to build hol90 and I've reached a
dead end.

It would greatly help me out if one of you could possibly give
building hol90 a try with the newest version of sml/nj (108.21).
Ports are available for just about everything at the usual place
(ftp://ftp.research.att.com/dist/ml/working/108.21).  My modified src/
directory of hol90 (pre8) is available at
ftp://lal.cs.byu.edu/pub/hol/myhol90src.tar.gz (around 300K).

If you can build this with 108.21, chances are the HPPA port is still
buggy.  If you get the same problem I have, then the hol90 source
needs further modifications to work with SML 108.x (x>5).

Thanks in advance to anyone with a few hours to kill :)

Kelly