update isl for support for recent clangs
[barvinok.git] / .gitmodules
blobd65ced4e691daa101a9fdf57d9a396c1aeef273f
1 [submodule "polylib"]
2         path = polylib
3         url = git://repo.or.cz/polylib.git
4 [submodule "isl"]
5         path = isl
6         url = git://repo.or.cz/isl.git
7 [submodule "isl-polylib"]
8         path = isl-polylib
9         url = git://repo.or.cz/isl-polylib.git
10 [submodule "cloog"]
11         path = cloog
12         url = git://repo.or.cz/cloog.git
13 [submodule "pet"]
14         path = pet
15         url = git://repo.or.cz/pet.git