Gcc-4.8 (20130217) dealing with bugfixes in isl

[koala01 <koala01 at free dot fr>]

Hello,

I'm trying to compile the gcc-4.8.0-20130217 snapshot with (eg) the last 
version of isl.

This version has a bug fix which make that isl_version() returns 
"isl-1.11.1", as result that configure script fails to detect isl 
because it try to compile a code like
int
main ()
{
printf("%s",isl_version());
if (strncmp (isl_version (), "isl-0.11", strlen ("isl-0.11")) != 0 &&)
     return 1;

  ;
  return 0;
}

of course, this code returns 1 and detection fails.

One possible way to deal with bugfix numbers should to modify the test 
code in something like
#include <isl/version.h>
   #include <string.h>
int
main ()
{
char  *version[8]={};
strncpy(version, isl_version(),8);

if (strncmp (version, "isl-0.11", strlen ("isl-0.11")) != 0)
     return 1;

  ;
  return 0;
}
(works if changed directly in configure script)
What would you thing about idea to integrate such change directly in 
Configure.ac ?

PS: Please excuse my poor english but it isn't my native language