[Gcl-devel] gcl 2.6.2

[root]

Camm Maguire writes:
> "Mike Thomas" <address@hidden> writes:
> 
> > Moving forward:
> > 
> > I built CLtL1 GCL/gcc 3.3.3/binutils 2.15.90 and did a complete ACL2 2.8
> > build and "make regression" with the optional books without error.
> > 
> 
> Great!
> 
> Tried Axiom on the off-chance that it would work without divine intervention
> but immediately ran into swathes of problems unrelated to GCL so left it for
> the Axiom team to worry about.

Is there any chance of getting a console trace from the Axiom run?

Tim