[Gcl-devel] Re: HOL88 and GCL

[Camm Maguire]

John R Harrison <address@hidden> writes:

> Hi Camm,
> 
> Sorry this took such a ridiculously long time; I've been overloaded
> with other stuff. I've accumulated a collection of some of my old

No problem!

> HOL88 files as test cases. I believe they should all work; I had
> problems with a couple but I think that's just because my image still
> has a few glitches. To test them it should just be necessary to fire
> up HOL88 then do
> 
>  loadt `<filename>`;;
> 
> for example
> 
>  loadt `/home/camm/hol88_examples/fermat.ml`;;
> 
> Let me know if there are problems. Anyway, if you want to add them
> to the package as regression tests, this is fine with me.
> 

Great!  Will check it out.

> In a later message, you mentioned that you already had debian packages.
> What's the latest on that? I've been using Knoppix quite a lot lately

We've been accepted into Debian testing, and will be available in the
next release in Debian and/or derivatives like knoppix/ubuntu, etc.

http://packages.qa.debian.org/h/hol88.html
http://packages.debian.org/unstable/math/hol88
http://people.debian.org/~igloo/status.php?email=camm%40enhanced.com

> when Windows becomes just too much to bear, and I'd like to try out the
> HOL88 binaries. (If that's a problem, I can also rebuild from source
> now you've got everything sorted out.)

Should be able to apt-get the binary now or soon.  I can also send you
one if interested.  Uses gcl-2.6.8pre, soon to be released as stable,
hopefully. 

export CVSROOT=:pserver:address@hidden:/sources/gcl
cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl

BTW, I'd mentioned this to the axiom people, who had expressed
interest in an ml in the same image axiom runs upon.  Do you have any
other notions as to where/if this build might be useful?

BTW, should also build with cvs head, which has more advanced
features, but is still experimental.  I believe Bob Boyer uses this
regularly, though.

Take care,

> 
> John.
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah