2009/11/18 Roberto Bagnara bagnara@cs.unipr.it Dear Roberto,
Thank you for your answer.
Did you instruct your loader about how to find the file named
"libgmpxx.so.4" in /home/andre/Prog/local/lib? See the FAQ in http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found and read (at least) Section 2 of http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/README.configure
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