This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Graphite build fails if PPL configured with --disable-shared
On Tue, 2009-05-12 at 21:31 +0200, Andreas Schwab wrote:
> Laurent GUERBY <laurent@guerby.net> writes:
>
> > Looking more at cloog-ppl/configure I find stuff like:
> >
> > <<
> > # Check whether --with-ppl or --without-ppl was given.
> > if test "${with_ppl+set}" = set; then
> > withval="$with_ppl"
> >
> > fi;
> >
> >
> > # Check whether --with-polylib_prefix or --without-polylib_prefix was given.
> > if test "${with_polylib_prefix+set}" = set; then
> > withval="$with_polylib_prefix"
> >
> > fi;
> >
> > # Check whether --with-polylib_exec_prefix or --without-polylib_exec_prefix was given.
> > if test "${with_polylib_exec_prefix+set}" = set; then
> > withval="$with_polylib_exec_prefix"
> >
> > fi;
> >
> > # Check whether --with-polylib_builddir or --without-polylib_builddir was given.
> > if test "${with_polylib_builddir+set}" = set; then
> > withval="$with_polylib_builddir"
> >
> > fi;
> >>>
> >
> > Wich is obviously broken since all the tests are setting the same
> > variable $withval and so --with-ppl just doesn't work. I looked at
> > cloog-ppl-0.15 configure and it was ok.
>
> The variable withval is only for use in the third argument
> (ACTION-IF-GIVEN) of AC_ARG_WITH. In all other places the variable
> with_PACKAGE should be used.
When I search for with_ppl in configure I get in order:
...
# Check whether --with-ppl or --without-ppl was given.
if test "${with_ppl+set}" = set; then
withval="$with_ppl"
fi;
...
echo "$as_me:$LINENO: checking for Parma Polyhedral Library (PPL)" >&5
echo $ECHO_N "checking for Parma Polyhedral Library (PPL)... $ECHO_C" >&6
if test "x$with_ppl" != "x" -a "x$with_ppl" != "xno"; then
if test "x$with_polylib_prefix" != "x" -o "x$with_polylib_exec_prefix" != "x" -o "x$with_polylib_builddir" != "x"; then
{ { echo "$as_me:$LINENO: error: --with-polylib and --with-ppl are mutually exclusive" >&5
echo "$as_me: error: --with-polylib and --with-ppl are mutually exclusive" >&2;}
{ (exit 1); exit 1; }; }
fi
if test "x$with_ppl" != "xyes" ; then
...
So 0.15.3 configure does not set $with_ppl variable at all.
Laurent