Re: [Axiom-developer] Re: Guessing package, was: Re: your program / paper

[Waldek Hebisch]

Bill Page wrote:
> wh-sandbox has implemented a radically different algebra build
> process that avoids many of the problems associated with the
> old "bootstrap" method. It has also implemented some significant
> improvements to the way the Axiom database is built. Therefore
> it is not clear to me if it would be possible to incorporate
> Martin's package in the old Silver release without first
> incorporating most (if not all) of the changes in wh-sandbox.
> Silver is essentially just the old patch-50 from the tla
> archives. You will recall the problems that we had last summer
> trying to get Martin's code built on that system.
> 

Actually, one can add Martin's package to other branches.  The
new algebra bootstrap is not needed for that.  However the
method used (compiling the whole packeage in a single compiler
image) is differnt that method suggested in Makefile.pamhlet
and similar to bootstrap procedure.  

Also, IIUC Martin's package needs various algebra fixes.

-- 
                              Waldek Hebisch
address@hidden