On 12 July 2010 21:00, Preeti Sharma <pritis@xxxxxxxxx> wrote: > Hello Ian, Phil, > > Please find the config.log attached. I have LD_LIBRARY_PATH set to the > new gmp 5.0.1 version. > It is not clear what else needs to be set. I also tried with > --with-gmp option with no luck... > >From what i can tell from that config.log its a GMP problem, what version did you install? Did you install from a package on your system? You may want to just download and compile it yourself, http://gmplib.org/ wget -c ftp://ftp.gmplib.org/pub/gmp-5.0.1/gmp-5.0.1.tar.bz2 tar jxvf gmp-5.0.1.tar.bz2 cd gmp-5.0.1 ./configure --prefix=/usr/local/my_gmp_install make make install When you configure for PPL you can: wget -c ftp://ftp.cs.unipr.it/pub/ppl/releases/0.10.2/ppl-0.10.2.tar.gz tar xvf ppl-0.10.2.tar.gz cd ppl-0.10.2 ./configure --with-libgmpxx-prefix=/usr/local/my_gmp_install make make install And you should be good to go :) --Phil
