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

Sebastian Pop sebpop at gmail.com
Mon Aug 10 22:18:44 CEST 2009


On Mon, Aug 10, 2009 at 13:26, Roberto Bagnara<bagnara at cs.unipr.it> wrote:
> Tovrea, George W (US SSA) wrote:
>>
>> As pointed to in the config.log:
>>
>> tovrea at siamese%/net/whistler/auto/users/tovrea/local/sol2/bin/m4
>> --version
>> m4 (GNU M4) 1.4.13
>

Could you please send us the output of
# echo $PATH

If you have your system m4 in the path before your local gnu M4,
that could be the reason for the incompatible output.

Sebastian

> 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)
>
> This file is created automatically, with m4 and Perl:
> I have no idea where the spurious underscores are coming from.
> If you can discover that, the problem will be solved.
> Otherwise we should find a way to reproduce the problem on
> a machine we can have access to.
> 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
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>



More information about the PPL-devel mailing list