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

[Andreas Schwab]

Laurent GUERBY <laurent at 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.

Andreas.

-- 
Andreas Schwab, schwab at linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."