[submodule "isl"]
       path = isl
       url = git://repo.or.cz/isl.git
[submodule "cloog-isl"]
	path = cloog-isl
	url = git://repo.or.cz/cloog.git
[submodule "piplib"]
	path = piplib
	url = git://repo.or.cz/piplib.git