Dear PPL developers,<br><br>Did you have any idea why my installation goes wrong? <br>Should I install all the libraries (GMP, PPL, etc.) in a standard path (/usr/lib, etc.) rather than in my /home directory?<br>I would be grateful for any help…<br>
<br>Étienne<br><br><div class="gmail_quote">2009/11/18 Étienne André <span dir="ltr">&lt;<a href="mailto:Etienne.Andre@lsv.ens-cachan.fr">Etienne.Andre@lsv.ens-cachan.fr</a>&gt;</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br><div class="gmail_quote"><div>I read those files, and did the following in order to say that my libs are in &quot;/home/andre/Prog/local/lib&quot;:<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 &quot;:/home/andre/Prog/local/lib&quot;.<br>

<br>I join you the &quot;config.log&quot; file.<br><br>Thank you<br><br>Étienne<br></div></div>
</blockquote></div><br>