Vishal Lahoti wrote:
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_
Dear Vishal,
I don't see any attachment here. Perhaps you forgot? I also need to tell us more about the platform (architecture, operating system, GCC and GMP version) you are using. Your changes are relative to PPL 0.9, right? All the best,
Roberto