I just did this, and the tests related to the OCaml interface failed.
The errors are the following:
…
make check-TESTS
make[6]: entrant dans le répertoire « /home/andre/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests »
./test1: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory
FAIL: test1
./ppl_ocaml_generated_test: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory
FAIL: ppl_ocaml_generated_test
./test1_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory
FAIL: test1_opt
./ppl_ocaml_generated_test_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory
FAIL: ppl_ocaml_generated_test_opt
======================================
4 of 4 tests failed
Please report to
ppl-devel@cs.unipr.it======================================
I don't really understand this error, since there is a file named "libgmpxx.so.4" in /home/andre/Prog/local/lib.
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.
I join you the ./configure log.
Étienne