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.
Andreas.