config HOST_CLOOG
	select HOST_ISL
	bool