[submodule "isl"]
	path = isl
	url = https://github.com/inducer/isl
