Enrico Oliosi wrote:
thanks a lot for your help, now it seems that the libreries are called correctly.
Hi Enrico,
no need to thank but, please, do send your messages to ppl-devel@cs.unipr.it and not to any other address.
I have some problems with 'print.hh' and 'set_handlers()' functions again. I rename file 'ppl.hh' in 'ppl_install.hh' (the compiler doesn't generate 'ppl_install.hh' file).
I think you have misinterpreted the subdirectory `tests' in the distribution. This directory and the files it contains are meant to help testing the library. To do so, you should just run `make check' in your top-level build directory (i.e., you run `make check' just after having done `make'). And, by all means, do _not_ rename `ppl.hh' as `ppl_install.hh'.
When I try to compile some tests, like addconstraint1.cc, the compiler gives these problems:
/tmp/cceoSN0Q.o(.text+0x16): In function `main': /home/enrico/Tesi/Ppl/ppl-0.5/tests/ppl_install.hh:2157: undefined reference to `set_handlers()'
/tmp/cceoSN0Q.o(.text+0x33d): In function `main': /home/enrico/Tesi/Ppl/ppl-0.5/tests/addconstraint1.cc:22: undefined reference to `print_constraints(Parma_Polyhedra_Library::Polyhedron const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostream<char, std::char_traits<char> >&)'
/tmp/cceoSN0Q.o(.text+0x886):/home/enrico/Tesi/Ppl/ppl-0.5/tests/addconstraint1.cc:37: undefined reference to `print_constraints(Parma_Polyhedra_Library::Polyhedron const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostream<char, std::char_traits<char> >&)'
collect2: ld returned 1 exit status
with comand-line
bash>g++ -g addconstraint1.cc -I . -L ../../ppl05/lib/ -lppl -lgmpxx -lgmp
The errors you get are absolutely normal. The programs in the `tests' subdirectory are not meant to be compiled like that. You can study that programs to see examples of use of the PPL, but cannot use them as they are and compile them without regard to the modules they rely upon. (It is even unclear why you should want to use them as they are.) However, I attach here a modified version of the program addconstraint1.cc you can play with.
I hope that this is the last time that I disturb you.
Don't even mention it. To the contrary, do tell us something about what you plan to do with the library. And do not hesitate to contact us whatever problem or suggestion or any other kind of feedback you may have. All the best,
Roberto