Dear PPL developers,<br><br>I'm facing problems while interfacing OCaml with PPL.<br><br>I did the following steps, following the instructions read in various installation files:<br>- I installed the last version of OCaml<br>
- I installed GMP in /home/{me}/Prog/local/lib <br>- I installed MPFR in /home/{me}/Prog/local/lib<br>- I then installed MLGMP in /home/{me}/Prog/local/lib/gmp/<br>- I finally installed PPL using the following command:<br>
./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<br><br>All installations finished successfully.<br>
<br>However, if I execute "make check" in ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests, I get the following error:<br><br>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<br>
g++: ppl_ocaml_Polyhedron.cc: Aucun fichier ou dossier de ce type<br>g++: no input files<br><br>Do you have any idea what could have been wrong in the different tools and libraries I installed?<br><br>Thank you very much for any advice.<br>
Best wishes<br><br>Étienne<br><br><br><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;">
<div class="im"><br></div>
Hi Étienne,<br>
<br>
<a href="mailto:ppl-devel@cs.unipr.it" target="_blank">ppl-devel@cs.unipr.it</a> is the first mailing list you should refer<br>
to, providing full details about what the problems are.<br>
If that fails, then you could try on <a href="mailto:caml-list@yquem.inria.fr" target="_blank">caml-list@yquem.inria.fr</a><br>
Cheers,<br>
<br>
   Roberto<font color="#888888"></font><br></blockquote></div>