Paolo Bonzini wrote:
> Dave Korn wrote:
>> Sorry to have to ask a dumb question, but it's not clear to me and I'm not
>> having a lot of luck searching recent list posts:
>>
>> Are cloog and ppl now mandatory requirements for building gcc, or are they
>> still optional extras?
>
> Optional.
>
> Paolo
Ah, so if there's no --with specified, and no in-tree version, we can't just
fall back on defaulting to $prefix, we need to actually do a proper search to
see if there's a cloog/ppl install there and decide whether to build it or
not. Hmm, the version check will need to be skipped in that case.
Or if no --with-cloog option is given, should the default be to assume
--with-cloog=no, rather than try and guess?
[ All said here also applies to --with-ppl pro rata. ]
cheers,