Jack, Without the change for isl, I get at configure time:
-g -O2 -I/opt/mp/include -I/opt/mp/include checking for version 0.10 of ISL... no -g -O2 -I/opt/mp/include -I/opt/mp/include checking for version 0.11 of ISL... (cached) no configure: error: Unable to find a usable ISL. See config.log for details. and after it but without the change for CLooG checking for version 0.10 of ISL... yes checking for version 0.17.0 of CLooG... no checking for version 0.18.0 of CLooG... (cached) no I don't know if this support your claim or not. Dominique
