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

[Tobias Grosser]

Should this patch not drop the isl_config.h file, that is currently part of Polly.

Otherwise, LGTM.


http://reviews.llvm.org/D10603

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/