Dear Roberto,
I did send the attatchment. It is a tar ball of files. Perhaps the mailing list did not accept the attatchment I suppose. So I am resending the mail to your account. The changes were made in PPL 0.9. Other information
Archietecture iX86 OS Fedora Core 4 GCC version 4.0.2 GMP version 4.1.4
Please find the file attatched. Once again, Thanks for your response.
Best Regards, Vishal Lahoti
On Sat, 10 Jun 2006, Roberto Bagnara wrote:
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