X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=configure.ac;h=bb19ddecad3a15f21aede3695dcf45b95c4aa5b9;hb=ca90b151a05f17ccc1c3215ff24dc5d7b9198ff4;hp=eac09c3af56691967f215c0070f269a86d601aec;hpb=1b0a4432089a647f419fb4ded6395323424879fd;p=platform%2Fupstream%2Fisl.git

diff --git a/configure.ac b/configure.ac
index eac09c3..bb19dde 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,10 +1,10 @@
-AC_INIT([isl], [0.11.1], [isl-development@googlegroups.com])
+AC_INIT([isl], [0.11.2], [isl-development@googlegroups.com])
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([foreign])
 m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])])
 AC_SUBST(versioninfo)
-versioninfo=11:1:1
+versioninfo=11:2:1
 
 if test "x$prefix" != "xNONE"; then
 	prefix_wd=`cd $prefix && pwd`
@@ -48,6 +48,22 @@ system)
 		GMP_LDFLAGS="-L$with_gmp_prefix/lib"
 	fi
 	GMP_LIBS=-lgmp
+	SAVE_CPPFLAGS="$CPPFLAGS"
+	SAVE_LDFLAGS="$LDFLAGS"
+	SAVE_LIBS="$LIBS"
+	CPPFLAGS="$GMP_CPPFLAGS $CPPFLAGS"
+	LDFLAGS="$GMP_LDFLAGS $LDFLAGS"
+	LIBS="$GMP_LIBS $LIBS"
+	AC_CHECK_HEADER([gmp.h], [], [AC_ERROR([gmp.h header not found])])
+	AC_CHECK_LIB([gmp], [main], [], [AC_ERROR([gmp library not found])])
+	AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include <gmp.h>]], [[
+		mpz_t n, d;
+		if (mpz_divisible_p(n, d))
+			mpz_divexact_ui(n, n, 4);
+	]])], [], [AC_ERROR([gmp library too old])])
+	CPPFLAGS="$SAVE_CPPFLAGS"
+	LDFLAGS="$SAVE_LDFLAGS"
+	LIBS="$SAVE_LIBS"
 	;;
 build)
 	GMP_CPPFLAGS="-I$gmp_srcdir -I$with_gmp_builddir"
@@ -126,7 +142,7 @@ system)
 	CLANG_CXXFLAGS=`$llvm_config --cxxflags`
 	CLANG_LDFLAGS=`$llvm_config --ldflags`
 	targets=`$llvm_config --targets-built`
-	CLANG_LIBS=`$llvm_config --libs $targets asmparser support mc`
+	CLANG_LIBS=`$llvm_config --libs $targets asmparser bitreader support mc`
 	CLANG_PREFIX=`$llvm_config --prefix`
 	AC_DEFINE_UNQUOTED(CLANG_PREFIX, ["$CLANG_PREFIX"],
 				[Clang installation prefix])