2009/11/18 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>></span><br><div class="gmail_quote"><div>Dear Roberto,<br><br>Thank you for your answer.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Did you instruct your loader about how to find the file named 
"libgmpxx.so.4" in /home/andre/Prog/local/lib?<br>
See the FAQ in <a href="http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found" target="_blank">http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found</a><br>
and read (at least) Section 2 of<br>
<a href="http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/README.configure" target="_blank">http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/README.configure</a></blockquote><div> </div><div>I read those files, and did the following in order to say that my libs are in "/home/andre/Prog/local/lib":<br>
- 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 ;<br>- my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib".<br>
<br>I join you the "config.log" file.<br><br>Thank you<br><br>Étienne<br></div></div>