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