[PPL-devel] Graphite build fails if PPL configured with --disable-shared

[Laurent GUERBY]

On Tue, 2009-05-12 at 21:49 +0200, Andreas Schwab wrote:
> Laurent GUERBY <laurent at guerby.net> writes:
> 
> > So 0.15.3 configure does not set $with_ppl variable at all.
> 
> Sure it does.  Look at the argument parsing loop.

I added a dump and $with_ppl is indeed set correctly but $ppl_prefix
(which is used for -I if I follow correctly) is empty:

echo "$as_me:$LINENO: checking for Parma Polyhedral Library (PPL)" >&5
echo $ECHO_N "checking for Parma Polyhedral Library (PPL)... $ECHO_C" >&6
echo WITH_PPL "$with_ppl" > zconf
echo PPL_PREFIX "$ppl_prefix" >> zconf
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
            echo "$as_me:$LINENO: result: installed in $ppl_prefix" >&5
echo "${ECHO_T}installed in $ppl_prefix" >&6
            CPPFLAGS="-I$ppl_prefix/include $CPPFLAGS"
...
$ cat zconf 
WITH_PPL /n/17/guerby/install-ppl2/ppl-0.10.2
PPL_PREFIX 
$

Do you know what part of configure is supposed to set $ppl_prefix?

In the 0.15 configure the code was using $with_prefix directly:

<<
 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"; 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

        { echo "$as_me:$LINENO: result: installed in $with_ppl" >&5
echo "${ECHO_T}installed in $with_ppl" >&6; }
	POLYHEDRAL_BACKEND=ppl
	CPPFLAGS="-I$with_ppl/include -DCLOOG_PPL_BACKEND $CPPFLAGS"

>>

Or may be just replace $ppl_prefix in 0.15.3 configure.in and configure?

Thanks for your help,

Laurent