Thank you for your quick reokay.
I've modified the following files in directory src:
Polyhedron.defs.hh Polyhedron_widenings.cc Constraint_System.defs.hh Constraint_System.cc Constraint.defs.hh Constraint.cc
You find a copy of these files in attachement. I have recompiled by doing:
make make install
(with prefix in my local directory)
Then, I've written the following test in directory tests/Polyhedron:
new2.cc
And I've compiled it with the line
CC=g++ -Wall -g CFLAGS=-I /home/lahoti/ppl-0.9.ext/src -I . -I /home/lahoti/ppl-0.9.ext/tests/ CLIBS=-L/home/lahoti/ppl-0.9.ext/tests/ -L. -L/home/lahoti/ppl-0.9.ext/lib/ -lppl -lppl_tests -lgmpxx -lgmp
%.exe: $(CC) $(CFLAGS) $*.cc -o $*.exe $(CLIBS)
There is no compilation error, but at the execution, I've obtained:
... ./new2.exe: symbol lookup error: ./new2.exe: undefined symbol: _ZN23Parma_Polyhedra_Library10Polyhedron25translation_extrapolationEjRKS0_S2_
Thank you for help, Vishal