[PPL-devel] Undefined PPL references attempting to build cloog-ppl
Roberto Bagnara
bagnara at cs.unipr.it
Fri Aug 21 10:02:18 CEST 2009
Tovrea, George W (US SSA) wrote:
> One problem is in configure (from configure.ac) at
>
> # Avoid extra blanks.
> # required_instantiations=`echo "${enableval}" | sed -e 's/[[ ]][[
> ]]*/ /g' -e 's/[[ ]]*\([[@<>,]]\)[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[
> ]]//g' -e 's/[[ ]]$//g'`
>
> At this point, enableval =
> "Polyhedron at Grid@Rational_Box at BD_Shape<mpz_class>@ BD_Shape<mpq_class>@
> Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@
> Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@
> Pointset_Powerset<NNC_Polyhedron>"
>
> Which is already incorrect, but the sed command above fails to remove
> the extra blanks.
>
> Tried this on a Linux machine also with following results (same as
> Solaris):
>
> tovrea at challenger%set alist =
> "Polyhedron at Grid@Rational_Box at BD_Shape<mpz_class>@ BD_Shape<mpq_class>@
> Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@
> Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@
> Pointset_Powerset<NNC_Polyhedron>"
> tovrea at challenger%echo $alist | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[
> ]]*\([[@<>,]]\)[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[
> ]]$//g'
> Polyhedron at Grid@Rational_Box at BD_Shape<mpz_class>@ BD_Shape<mpq_class>@
> Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@
> Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@
> Pointset_Powerset<NNC_Polyhedron>
Hi Bill. The test you made are wrong: you copied the sed command from
`configure.ac', where square brackets need to be quoted. You should test,
instead, with the sed command you find in `configure'. Here is the
relevant fragment:
# Avoid extra blanks.
required_instantiations=`echo "${enableval}" | sed -e 's/[ ][ ]*/ /g' -e 's/[ ]*\([@<>,]\)[ ]*/\1/g' -e 's/>>/> >/g' -e 's/^[ ]//g' -e 's/[ ]$//g'`
# Check the specified instantiations for validity.
ac_save_CPPFLAGS="$CPPFLAGS"
CPPFLAGS="$CPPFLAGS -I${srcdir}"
Please try again your experiments (both on Linux and Solaris) and let
us know what you get.
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
More information about the PPL-devel
mailing list