Étienne André wrote:
I'm facing problems while interfacing OCaml with PPL.
I did the following steps, following the instructions read in various installation files: - I installed the last version of OCaml - I installed GMP in /home/{me}/Prog/local/lib - I installed MPFR in /home/{me}/Prog/local/lib - I then installed MLGMP in /home/{me}/Prog/local/lib/gmp/ - I finally installed PPL using the following command: ./configure --prefix=/home/{me}/Prog/local --with-libgmp-prefix=/home/{me}/Prog/local --with-libgmpxx-prefix=/home/{me}/Prog/local --with-mlgmp=/home/{me}/Prog/local/lib/gmp
All installations finished successfully.
However, if I execute "make check" in ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests, I get the following error:
g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/lib/ocaml -I../../interfaces -I../../src -I../../src -I../../Watchdog/src -I/home/{me}/Prog/local/include -g -O2 -frounding-math -W -Wall -MT ppl_ocaml_Polyhedron.o -MD -MP -MF .deps/ppl_ocaml_Polyhedron.Tpo -c -o ppl_ocaml_Polyhedron.o ppl_ocaml_Polyhedron.cc g++: ppl_ocaml_Polyhedron.cc: Aucun fichier ou dossier de ce type g++: no input files
Hi Étienne, if you mean that you did $ cd ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests $ make check then this is not supposed to work. The best thing to do is to run `make check' from the PPL's build root directory. If that is not an option for you (e.g., because you have a slow machine or a full disk), then you can do $ cd ~/Prog/PPL/ppl-0.10.2.toto/interfaces $ make check
Do you have any idea what could have been wrong in the different tools and libraries I installed?
If the above fails, please send us the config.log file generated by configure. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it