I checked the ./configure log, and several software (or libraries) are missing (including java, javac…).<br>However, the ./configure finishes successfully, so do you think there anything wrong in this configure step?<br><br>
Thanks for any advice or suggestion.<br><br>Étienne<br><br><div class="gmail_quote">2009/11/11 Étienne André <span dir="ltr"><<a href="mailto:Etienne.Andre@lsv.ens-cachan.fr">Etienne.Andre@lsv.ens-cachan.fr</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote"><div class="im">2009/11/10 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span><br>
</div><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="im">
then this is not supposed to work.  The best thing to do is<br>
to run `make check' from the PPL's build root directory.<br></div></blockquote><div><br>I just did this, and the tests related to the OCaml interface failed.<br>The errors are the following:<br><br>…<br>make  check-TESTS                                                                 <br>

make[6]: entrant dans le répertoire « /home/andre/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests »                                                                 <br>./test1: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory                                             <br>

FAIL: test1                                                                       <br>./ppl_ocaml_generated_test: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory                          <br>

FAIL: ppl_ocaml_generated_test                                                    <br>./test1_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory<br>FAIL: test1_opt<br>

./ppl_ocaml_generated_test_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory<br>FAIL: ppl_ocaml_generated_test_opt<br>======================================<br>

4 of 4 tests failed<br>Please report to <a href="mailto:ppl-devel@cs.unipr.it" target="_blank">ppl-devel@cs.unipr.it</a><br>======================================<br><br>I don't really understand this error, since there is a file named "libgmpxx.so.4" in /home/andre/Prog/local/lib.<br>

I had actually performed this "make check" a few days ago in a former installation (with no interface to OCaml), and I got no problem.<br><br>I join you the ./configure log.<br><br>Étienne<br><br></div></div>
</blockquote></div><br>