Axiom does not use OpenMath.
You can remove the library.

Tim

On Thu, 2011-07-14 at 11:12 -0400, Camm Maguire wrote:
> Greetings!  And please excuse the delay.
> 
> daly <d...@axiom-developer.org> writes:
> 
> > Camm,
> >
> > It seems that GCL has captured the path used during the
> > build process. When Axiom tries to compile on a different
> > platform I get an error message that includes the original
> > build path from the original platform.
> >
> > Is there a way to stop or override this behavior?
> >
> 
> Yes, see #'si::reset-sys-paths.
> 
> Separately, what should be done about this?
> 
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=630846                       
>                                                             
> 
> Take care,
> 
> > Tim
> >
> > On Mon, 2011-05-16 at 14:25 -0400, Camm Maguire wrote:
> >> Greetings!  Please excuse my not having seen this earlier.
> >> 
> >> Tim Daly <d...@axiom-developer.org> writes:
> >> 
> >> >  I have an OLPC XO box running fedora.
> >> > It has gmp4 installed on the system.
> >> > GCL looks for gmp.h which does not exist
> >> > and therefore the build is failing.
> >> > The internal version of gmp3 does not have
> >> > gmp.h either but the build seems to require
> >> > a file "gmp.h".
> >> >
> >> > Why is this test there?
> >> >
> >> 
> >> GCL sould use an external gmp if available, and if not automatically
> >> fall back to building the local copy, which is now gmp4.  gmp.h is
> >> needed for compiling programs using gmp, so you need the gmp-dev
> >> package in addition to the gmp package to build gcl.  If the build
> >> fails because of the lack of the -dev, then the fallback is not
> >> working, and that is a bug.  It would be great if this still is an
> >> issue if you could post the configure and make logs.
> >> 
> >> Take care,
> >> 
> >> > Tim Daly
> >> >
> >> >
> >> >
> >> >
> >> >
> >> 
> >
> >
> >
> >
> >
> >
> 



_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to