[PATCH] Fix bootstrap when no --with-ppl/--with-cloog [was Re: What precisely is the status of ppl/cloog anyway?]

[Dave Korn]

Paolo Bonzini wrote:
>> 	* configure.ac ($with_ppl):  Default to no if not supplied.
>> 	($with_cloog):  Likewise.
>>
>>   Assuming it passes bootstrap, ok for HEAD?
> 
> No, please use the fourth parameter to AC_ARG_WITH (with_ppl=no resp.
> with_cloog=no).  No need to bootstrap, just run "sh -n configure" and

admin@ubik /gnu/gcc/obj7ppl2
$ sh -n /gnu/gcc/gcc/configure ; echo $?
0

admin@ubik /gnu/gcc/obj7ppl2
$

  I also ran the configure, and then grepped "cloog" in config.log and
config.status; before, I had:

admin@ubik /gnu/gcc/obj7ppl
$ grep cloog config.status  config.log
config.status:s,@LIBS@,-L/lib -lcloog -L/lib -lppl_c -lppl -lgmpxx  ,;t t
config.status:s,@clooglibs@,-L/lib -lcloog,;t t
config.status:s,@clooginc@,-I/include -DCLOOG_PPL_BACKEND ,;t t
config.log:LIBS='-L/lib -lcloog -L/lib -lppl_c -lppl -lgmpxx  '
config.log:clooginc='-I/include -DCLOOG_PPL_BACKEND '
config.log:clooglibs='-L/lib -lcloog'

admin@ubik /gnu/gcc/obj7ppl

... and after, I see:

admin@ubik /gnu/gcc/obj7ppl2
$ grep cloog config.status  config.log
config.status:s,@clooglibs@,,;t t
config.status:s,@clooginc@,,;t t
config.log:clooginc=''
config.log:clooglibs=''

admin@ubik /gnu/gcc/obj7ppl2
$

> post for once also the "svn diff configure" so that I can visually
> inspect the changes in generated files.

  Attached.

ChangeLog:

	* configure.ac ($with_ppl):  Default to no if not supplied.
	($with_cloog):  Likewise.
	configure:  Regenerate.

  Ok?

    cheers,
      DaveK
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cloog-ppl-not-mandatory.diff
Type: text/x-c
Size: 1783 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20090506/ad819cb4/attachment.bin>