[PPL-devel] Sample examples of use of PPL
Etienne.Andre at lsv.ens-cachan.fr
Tue Nov 24 02:11:12 CET 2009
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…
2009/11/18 Étienne André <Etienne.Andre at 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-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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the PPL-devel