isl: reverted to 0.19 due to bug and revert:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86724 gcc-mirror/gcc@6142925#diff-e2f5efe7d2dca737238c04acd12198b7
kozyilmaz · Oct 5, 2018 · ac8c263 · ac8c263
1 parent e256213
commit ac8c263
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/isl/Makefile b/isl/Makefile
@@ -3,7 +3,8 @@ target_name ?= isl
 
 include ../Makefile.build
 
-ISL_VERSION="0.20"
+# ISL v0.20 is released but gcc-8.2.0 has issues
+ISL_VERSION="0.19"
 
 isl_clone:
 	if [ ! -f "isl-$(ISL_VERSION).tar.gz" ]; then curl -OL http://isl.gforge.inria.fr/isl-$(ISL_VERSION).tar.bz2; fi;