[PPL-devel] Sample examples of use of PPL

[Étienne André]

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 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-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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20091123/68494e4f/attachment.htm>