[PPL-devel] PPL Query

[Vishal Lahoti]

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