[submodule "isl"]
	path = isl
	url = git://repo.or.cz/isl.git
[submodule "bpl-subset"]
	path = bpl-subset
	url = git://github.com/inducer/bpl-subset
