[PATCH] [Polly] Prepare replacing ISL by its 'make dist' files.

[Tobias Grosser]

On 06/22/2015 07:16 PM, Michael Kruse wrote:
> In http://reviews.llvm.org/D10603#191758, @grosser wrote:
>
>> Should this patch not drop the isl_config.h file, that is currently part of Polly.
>
>
> This patch is intended to modify the build system only. The isl_config.h will go when External/isl directory is replaced by the 'make dist' distribution of the same directory.

So there are temporarily two isl_config.h files (one auto generated and 
one generated by the build system)? Which one will be used during 
compilation?

As long as this compiles, this probably does not matter as it will be 
gone quickly, but I personally think it would be clearer to just drop 
the second isl_config.h right away.

Anyway, nothing discuss for ages. Choose what suites you best. ;-)

Best,
Tobias