switch isl submodule url to isl-for-pluto fork
Switching to the forked repo to make it easy to use isl with changes
until those changes are upstreamed to isl's repo. So this isn't really
switching to a fork of isl.
[submodule "isl"]
path = isl
- url = git://repo.or.cz/isl.git
+ url = https://github.com/bondhugula/isl-for-pluto.git
[submodule "cloog-isl"]
path = cloog-isl
url = https://github.com/periscop/cloog.git
