[PPL-devel] Sample examples of use of PPL

[Roberto Bagnara]

É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 at cs.unipr.it