http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55973
--- Comment #1 from Jack Howarth <howarth at nitro dot med.uc.edu> 2013-01-14 20:49:22 UTC --- The change in r195150 doesn't take in account that the results from each call to ISL_CHECK_VERSION() is cached. So the results from a failed first test of ISL_CHECK_VERSION(0,10) are used when ISL_CHECK_VERSION(0,11) instead of actually compiling the isl version check again for 0.11.x. -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.
