[polly] r183026 - Update isl to include isl_val changes

[Andy Gibbs]

Hi,

Unfortunately, updating isl in the patch below breaks "make check" on cloog.

Googling around found this: 
https://groups.google.com/forum/?fromgroups#!topic/cloog-development/P50urOXIxk0. 
This seems to be the same issue.

Cheers,

Andy


On Friday, May 31, 2013 8:04 PM, Tobias Grosser wrote:
> Author: grosser
> Date: Fri May 31 13:04:56 2013
> New Revision: 183026
>
> URL: http://llvm.org/viewvc/llvm-project?rev=183026&view=rev
> Log:
> Update isl to include isl_val changes
>
> The latest version of isl includes a new data type isl_val, which properly 
> hides
> the multi precision math library used by isl. In Polly we would like to 
> replace
> all uses of isl_int with the corresponding isl_val interfaces. This will 
> allow
> us to switch the multi precision math library in isl. This is especially
> interesting for people who would like to replace libgmp with a non-gpl 
> licensed
> library (e.g. imath).
>
> Modified:
>    polly/trunk/utils/checkout_cloog.sh
>
> Modified: polly/trunk/utils/checkout_cloog.sh
> URL: 
> http://llvm.org/viewvc/llvm-project/polly/trunk/utils/checkout_cloog.sh?rev=183026&r1=183025&r2=183026&view=diff
> ==============================================================================
> --- polly/trunk/utils/checkout_cloog.sh (original)
> +++ polly/trunk/utils/checkout_cloog.sh Fri May 31 13:04:56 2013
> @@ -1,7 +1,7 @@
> #!/bin/sh
>
> CLOOG_HASH="c7721fc941db89dd1afc6240eaceea46d0bcad17"
> -ISL_HASH="9f82ab3cd18ac34f883c30594111e4eb17426e11"
> +ISL_HASH="1df91d8515ec88dc7f7f597168ad0f34f26de5a7"
>
> PWD=`pwd`