[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] gcl 2.6.2

From: root
Subject: [Axiom-developer] gcl 2.6.2
Date: Tue, 13 Apr 2004 18:13:52 -0400

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]