[PPL-devel] PPL Query

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it