24 Nov
2009
24 Nov
'09
1:11 a.m.
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