[PPL-devel] Undefined PPL references attempting to build cloog-ppl

[Tovrea, George W (US SSA)]

In a previous mail, you wrote:

Strange: this is the same version I use. I don't know what to say:
in ppl_c.h you should end up with

PPL_TYPE_DECLARATION(Polyhedron)
PPL_TYPE_DECLARATION(Grid)
PPL_TYPE_DECLARATION(Rational_Box)
PPL_TYPE_DECLARATION(BD_Shape_mpz_class)
PPL_TYPE_DECLARATION(BD_Shape_mpq_class)
PPL_TYPE_DECLARATION(Octagonal_Shape_mpz_class)
PPL_TYPE_DECLARATION(Octagonal_Shape_mpq_class)
PPL_TYPE_DECLARATION(Constraints_Product_C_Polyhedron_Grid)
PPL_TYPE_DECLARATION(Pointset_Powerset_C_Polyhedron)
PPL_TYPE_DECLARATION(Pointset_Powerset_NNC_Polyhedron)

whereas you have

PPL_TYPE_DECLARATION(Polyhedron)
PPL_TYPE_DECLARATION(Grid)
PPL_TYPE_DECLARATION(Rational_Box)
PPL_TYPE_DECLARATION(BD_Shape_mpz_class)
PPL_TYPE_DECLARATION(_BD_Shape_mpq_class)
PPL_TYPE_DECLARATION(_Octagonal_Shape_mpz_class)
PPL_TYPE_DECLARATION(_Octagonal_Shape_mpq_class)
PPL_TYPE_DECLARATION(_Constraints_Product_C_Polyhedron_Grid)
PPL_TYPE_DECLARATION(_Pointset_Powerset_C_Polyhedron)
PPL_TYPE_DECLARATION(_Pointset_Powerset_NNC_Polyhedron)

Note that all the declarations that are in error above have a double
underscore after ppl_c in the snippet below. All the ones that are
correct have a single underscore after ppl_c. For example,
BD_Shape_mpz_class above relates to ppl_c_BD_Shape_mpz_class whereas
_BD_Shape_mpq_class above relates to ppl_c__BD_Shape_mpq_class below.
Seems more than coincidental. However, I modified config.status changing
all ppl_c__ tp ppl_c_. This did not build (still looking for some
ppl_c__ files). I am currently trying to debug 

/net/whistler/auto/users/tovrea/local/sol2/bin/m4 --prefix-builtin -I..
-I../../../interfaces/C -I../../../interfaces/C/.. \
           ../../../interfaces/C/ppl_interface_generator_c_h.m4 >
ppl_c_domains.h


ppl_c_domains.h contains all the ppl_c__ names


-----Original Message-----
From: Roberto Bagnara [mailto:bagnara at cs.unipr.it] 
Sent: Tuesday, August 11, 2009 12:54 AM
To: Tovrea, George W (US SSA)
Cc: Sebastian Pop; The Parma Polyhedra Library developers' list
Subject: Re: [PPL-devel] Undefined PPL references attempting to build
cloog-ppl

Tovrea, George W (US SSA) wrote:
> The names are already messed up after running configure. From
config.status:
> 
> S["required_instantiations_c_cxx_objects"]="ppl_c_Polyhedron.lo
ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo
ppl_c__BD_Shape_mpq_class.lo ppl_c__Octagonal_Shape_mpz_class.lo"\
> " ppl_c__Octagonal_Shape_mpq_class.lo
ppl_c__Constraints_Product_C_Polyhedron_Grid.lo
ppl_c__Pointset_Powerset_C_Polyhedron.lo ppl_c__Pointset_Powers"\
> "et_NNC_Polyhedron.lo"
> S["required_instantiations_c_cxx_sources"]="ppl_c_Polyhedron.cc
ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc
ppl_c__BD_Shape_mpq_class.cc ppl_c__Octagonal_Shape_mpz_class.cc"\
> " ppl_c__Octagonal_Shape_mpq_class.cc
ppl_c__Constraints_Product_C_Polyhedron_Grid.cc
ppl_c__Pointset_Powerset_C_Polyhedron.cc ppl_c__Pointset_Powers"\
> "et_NNC_Polyhedron.cc"
> S["required_instantiations_c_cxx_headers"]="ppl_c_Polyhedron.hh
ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh
ppl_c__BD_Shape_mpq_class.hh ppl_c__Octagonal_Shape_mpz_class.hh"\
> " ppl_c__Octagonal_Shape_mpq_class.hh
ppl_c__Constraints_Product_C_Polyhedron_Grid.hh
ppl_c__Pointset_Powerset_C_Polyhedron.hh ppl_c__Pointset_Powers"\
> "et_NNC_Polyhedron.hh"

Hi Bill,

I see nothing messed up in this snippet.
Can you explain?
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