[PPL-devel] Sample examples of use of PPL

[Roberto Bagnara]

Étienne André wrote:
> 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…

Hi Étienne,

I am sorry, but the problem you are encountering seems to have
nothing PPL-specific.  If the right libgmpxx.so.4 is in a place
where the loader has been instructed to look at, then it has
to be found.  In the config.log you sent I did not spot
anything wrong.  I suggest looking at
http://www.dwheeler.com/program-library/
Alternatively, if you can provide me with access to the
machine where this happens, then I can investigate for you.
I cannot imagine any other solution.
All the best,

    Roberto

> 2009/11/18 Étienne André <Etienne.Andre at lsv.ens-cachan.fr 
> <mailto: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
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel


-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it