<div class="gmail_quote">2009/11/10 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</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;">
<br>
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></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">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>