axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] GCL and GMP


From: Camm Maguire
Subject: Re: [Axiom-developer] GCL and GMP
Date: Thu, 14 Jul 2011 15:16:01 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)

Thanks!

daly <address@hidden> writes:

> 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 <address@hidden> 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 <address@hidden> 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
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/axiom-developer
>
>
>
>

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



reply via email to

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