Dear PPL Developers, I am currently working on my master thesis that applies abstract model checking of software systems. For implementing an abstract domain, I plan to use PPL for the handling of Polyhedra. Right now my problem is how to inlcude the PPL classes in my C++ project. I am using Ubuntu 10.04 and i'm working with Code Blocks.I installed PPL library by using synaptic and it went well and i have related files in my lib and include directories now. However now I am unsure about how to actually include PPL classes (e.g. "Polyhedron") in a C++ project and also could find no further instructions in the user manual or the README and INSTALL files, provided. Maybe you can help me answering this question: - What is the intended usage of PPL? Should one just include "ppl.hh" and the created libraries? Right now, this yields error messages like:"... undefined reference to `Parma_Polyhedra_Library::Init::Init...." it seems the linker is unable to find the used library functions. Your help will be much appreciated! With best regards, Saber MirzaeiSharif University OF science and technologyComputer department.
On 10/02/10 16:00, saber mirzaei wrote:
I am currently working on my master thesis that applies abstract model checking of software systems.
For implementing an abstract domain, I plan to use PPL for the handling of Polyhedra. Right now my problem is how to inlcude the PPL classes in my C++ project.
I am using Ubuntu 10.04 and i'm working with Code Blocks.I installed PPL library by using synaptic and it went well and i have related files in my lib and include directories now. However now I am unsure about how to actually include PPL classes (e.g. "Polyhedron") in a C++ project and also could find no further instructions in the user manual or the README and INSTALL files, provided. Maybe you can help me answering this question:
- What is the intended usage of PPL? Should one just include "ppl.hh" and the created libraries? Right now, this yields error messages like:"... undefined reference to `Parma_Polyhedra_Library::Init::Init...." it seems the linker is unable to find the used library functions.
Your help will be much appreciated!
Hi Saber, have you tried `man libppl'? All the best, 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
participants (2)
-
Roberto Bagnara -
saber mirzaei