Re: [PPL-devel] Sample examples of use of PPL

Dear PPL developers, Did you have any idea why my installation goes wrong? Should I install all the libraries (GMP, PPL, etc.) in a standard path (/usr/lib, etc.) rather than in my /home directory? I would be grateful for any help… Étienne 2009/11/18 Étienne André <Etienne.Andre@lsv.ens-cachan.fr>

I read those files, and did the following in order to say that my libs are in "/home/andre/Prog/local/lib": - I run the ./configure script using option --with-libgmp-prefix=/home/andre/Prog/local --with-libgmpxx-prefix=/home/andre/Prog/local --with-mlgmp=/home/andre/Prog/local/lib/gmp ; - my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib".

I join you the "config.log" file.

Thank you

Étienne