[PPL-devel] PPL Query

[Vishal Lahoti]

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
>
>