[polly] r183026 - Update isl to include isl_val changes

[Tobias Grosser]

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`