Bill Allombert on Fri, 10 Feb 2012 18:15:00 +0100


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

Re: Installation issue with GMP 5.0.2


On Fri, Feb 10, 2012 at 04:44:41PM +0000, James Wanless wrote:
> I have some _suggestions_ (only) if you're still game...
> J
> 
> On 10 Feb 2012, at 16:32, Frank Thorne wrote:
> 
> >
> >Hello all, I am trying to install PARI/GP with GMP (so I can use
> >Karim Belabas's cubic package) -- so far without success.
> >
> >I am running Mac OS Version 10.5.8. I just freshly installed GMP
> >version 5.0.2 using MacPorts and "sudo port install gmp" and it
> >seems to have installed fine.
> >
> >I next tried to reinstall Pari/GP 2.5.1 (make clean and then ./
> >Configure). The following is from the output:
> >
> >...Found libgmp in /usr/local/lib
> >...Found gmp header in /opt/local/include
> >### Your version of GMP is too old for PARI. Please upgrade
> >### Building without GNU MP support
> 
> I wonder if you should tell Pari to use the version of GMP installed
> in /opt/local [by MacPorts] (rather than usr/local where it appears
> you have another GMP installation, possibly outdated). Maybe "./
> Configure --with-gmp=/opt/local" or such...

James is right: it is important that libgmp and gmp header are from the same
installation. Do
./Configure --with-gmp=/opt/local
and check that it prints:
...Found libgmp in /opt/local/lib
...Found gmp header in /opt/local/include

Cheers,
Bill.