[PATCH] Import isl as an external library into Polly

[Tobias Grosser]

On 22.01.2015 15:47, Tobias Grosser wrote:
> Hi,
>
> following the example of llgo, I would like to import isl as an external
> library into Polly. This simplifies the distribution and installation of
> Polly, decouples us from the isl release cycle and will also make it
> easier to integrate the upcoming isl C++ bindings.
>
> I attached a proof-of-concept patch which I tested with cmake and
> autoconf on my Linux system. If this breaks any current use case of
> Polly, I would be interested to know.

Hi Johannes,

did you find time to give this patch a shot?

On our last phone call, everybody agreed this is the right direction, so 
I would like to commit this patch soon. However, to get additional 
confidence on the patch itself, it would be great if you could have a look.

Thanks,
Tobias