[PPL-devel] Sample examples of use of PPL

[Étienne André]

Dear PPL developers,

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

Do you have any idea what could have been wrong in the different tools and
libraries I installed?

Thank you very much for any advice.
Best wishes

Étienne


2009/11/10 Roberto Bagnara <bagnara at cs.unipr.it>

>
> Hi Étienne,
>
> ppl-devel at cs.unipr.it is the first mailing list you should refer
> to, providing full details about what the problems are.
> If that fails, then you could try on caml-list at yquem.inria.fr
> Cheers,
>
>   Roberto
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20091110/f1a1a348/attachment.htm>