On Mon, Aug 10, 2009 at 13:26, Roberto Bagnarabagnara@cs.unipr.it wrote:
Tovrea, George W (US SSA) wrote:
As pointed to in the config.log:
tovrea@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@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel