From des@inmos.co.uk@munnari.cs.mu.oz Fri Mar 10 09:12:41 1989
From: David Shepherd <des%inmos.co.uk%NSS.Cs.Ucl.AC.UK@munnari.oz>
Date: Thu, 9 Mar 89 10:58:18 GMT
To: info-hol%clover.ucdavis.edu@NSS.Cs.Ucl.AC.UK
Subject: Franz for SunOS 4
Status: RO

In case there is any confusion, the patches in the franz.for.SunOs (I forget
its exact name) file are for the Franz Lisp 38.92 to enable it to run
under SunOs 4.

The most important point is that the patches are only required if you want
to rebuild the Lisp from source -- if you don't, keep on using whatever
lisp and liszt binaries you currently have.

The lisp currently supplied with HOL is Franz Lisp 38.79 and the patches
do not apply to this.

The Franz Lisp 38.92 sources that my patches apply to came via the Sun User
Group with Sun-3 modifications by Barry Schein of Boston University. Minor
modifications to a Makefile were made by Tevian Dray of Oregon State
University (if that is what orst.edu is!) for SunOS 3.5 and cc v3.1.

I think that 38.92 is going to be included in HOL tape soon -- there seems
to have been a slight problem compiling it for SunOS 3.5 now (!) but I
think that was due to the README files being out of date and the SunOS 3.5
C compiler needing an extra space after a few = signs.

So to summarise.

If you use SunOS 3.x ignore these patches and update to Franz 38.92 when it
appears in the HOL distribution.

If you use SunOS 4. Either, keep on using SunOS 3.5 binaries -- they will
still work and wait until the patched 38.92 comes with HOL, or get hold
of the 38.92 sources from Sun User Group and apply patches.

Finally, in case you were wondering whether all this was worth the effort,
Franz 38.92, among other things, implements local compiled functions (when
I patched the 38.79 sources for Sun-3 I removed this as it didn't seem to work)
and this, plus any other improvements, appear to make HOL run about
7% faster.

david shepherd
INMOS ltd















