isl.m4 (_ISL_CHECK_CT_PROG): Omit main function header/footer.

2012-07-02  Richard Guenther  <rguenther@suse.de>

	config/
	* isl.m4 (_ISL_CHECK_CT_PROG): Omit main function header/footer.
	Fix version test. 

	* configure: Regenerated.

From-SVN: r189159

4 files changed, 15 insertions, 12 deletions

diff --git a/ChangeLog b/ChangeLog
index f32899f..74cb620 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
 2012-07-02  Richard Guenther  <rguenther@suse.de>
+
+	* configure: Regenerated.
+
+2012-07-02  Richard Guenther  <rguenther@suse.de>
 	Michael Matz  <matz@suse.de>
 	Tobias Grosser <tobias@grosser.es>
 	Sebastian Pop <sebpop@gmail.com>
diff --git a/config/ChangeLog b/config/ChangeLog
index b0b6690..c2c93fc 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,4 +1,9 @@
 2012-07-02  Richard Guenther  <rguenther@suse.de>
+
+	* isl.m4 (_ISL_CHECK_CT_PROG): Omit main function header/footer.
+	Fix version test. 
+
+2012-07-02  Richard Guenther  <rguenther@suse.de>
 	Michael Matz  <matz@suse.de>
 	Tobias Grosser <tobias@grosser.es>
 	Sebastian Pop <sebpop@gmail.com>
diff --git a/config/isl.m4 b/config/isl.m4
index 0ddeddb..c541158 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -107,12 +107,9 @@ AC_DEFUN([ISL_REQUESTED],
 m4_define([_ISL_CHECK_CT_PROG],[AC_LANG_PROGRAM(
   [#include <isl/version.h>
    #include <string.h>],
-  [int main()
-   {
-     if (strncmp (isl_version (), "isl-0.10", strlen ("isl-$1.$2")) != 0)
-       return 1;
-     return 0;
-   }])])
+  [if (strncmp (isl_version (), "isl-$1.$2", strlen ("isl-$1.$2")) != 0)
+     return 1;
+   ])])
 
 # ISL_CHECK_VERSION ISL_CHECK_VERSION (MAJOR, MINOR)
 # ----------------------------------------------------------------
diff --git a/configure b/configure
index b157a72..0dd80ca 100755
--- a/configure
+++ b/configure
@@ -5712,12 +5712,9 @@ else
 int
 main ()
 {
-int main()
-   {
-     if (strncmp (isl_version (), "isl-0.10", strlen ("isl-0.10")) != 0)
-       return 1;
-     return 0;
-   }
+if (strncmp (isl_version (), "isl-0.10", strlen ("isl-0.10")) != 0)
+     return 1;
+
   ;
   return 0;
 }