From 7223b0c9a5bba09fb136f9c7f67536aa64b1512d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?=
 <vsc@xato.(none)>
Date: Tue, 20 Oct 2009 09:11:10 +0100
Subject: [PATCH] check for float.h

---
 config.h.in  |  1 +
 configure    | 86 +++-------------------------------------------------
 configure.in | 14 ++++-----
 3 files changed, 12 insertions(+), 89 deletions(-)

diff --git a/config.h.in b/config.h.in
index a4b7fc22d..75920977e 100755
--- a/config.h.in
+++ b/config.h.in
@@ -57,6 +57,7 @@
 #undef  HAVE_ERRNO_H
 #undef  HAVE_FCNTL_H
 #undef  HAVE_FENV_H
+#undef  HAVE_FLOAT_H
 #undef  HAVE_FPU_CONTROL_H
 #undef  HAVE_GMP_H
 #undef  HAVE_IEEEFP_H
diff --git a/configure b/configure
index 162188ab1..75453a597 100755
--- a/configure
+++ b/configure
@@ -3317,8 +3317,7 @@ _ACEOF
   cat >>confdefs.h <<\_ACEOF
 #define MinStackSpace (300*SIZEOF_INT_P)
 _ACEOF
-
-  cat >>confdefs.h <<\_ACEOF
+   cat >>confdefs.h <<\_ACEOF
 #define MinTrailSpace ( 48*SIZEOF_INT_P)
 _ACEOF
 
@@ -5118,84 +5117,6 @@ fi
 
 fi
 
-if test "$yap_cv_cudd" != "no"
-then
-
-{ $as_echo "$as_me:$LINENO: checking for Cudd_Init in -lcudd" >&5
-$as_echo_n "checking for Cudd_Init in -lcudd... " >&6; }
-if test "${ac_cv_lib_cudd_Cudd_Init+set}" = set; then
-  $as_echo_n "(cached) " >&6
-else
-  ac_check_lib_save_LIBS=$LIBS
-LIBS="-lcudd  $LIBS"
-cat >conftest.$ac_ext <<_ACEOF
-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
-
-/* Override any GCC internal prototype to avoid an error.
-   Use char because int might match the return type of a GCC
-   builtin and then its argument prototype would still apply.  */
-#ifdef __cplusplus
-extern "C"
-#endif
-char Cudd_Init ();
-int
-main ()
-{
-return Cudd_Init ();
-  ;
-  return 0;
-}
-_ACEOF
-rm -f conftest.$ac_objext conftest$ac_exeext
-if { (ac_try="$ac_link"
-case "(($ac_try" in
-  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
-  *) ac_try_echo=$ac_try;;
-esac
-eval ac_try_echo="\"\$as_me:$LINENO: $ac_try_echo\""
-$as_echo "$ac_try_echo") >&5
-  (eval "$ac_link") 2>conftest.er1
-  ac_status=$?
-  grep -v '^ *+' conftest.er1 >conftest.err
-  rm -f conftest.er1
-  cat conftest.err >&5
-  $as_echo "$as_me:$LINENO: \$? = $ac_status" >&5
-  (exit $ac_status); } && {
-	 test -z "$ac_c_werror_flag" ||
-	 test ! -s conftest.err
-       } && test -s conftest$ac_exeext && {
-	 test "$cross_compiling" = yes ||
-	 $as_test_x conftest$ac_exeext
-       }; then
-  ac_cv_lib_cudd_Cudd_Init=yes
-else
-  $as_echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-	ac_cv_lib_cudd_Cudd_Init=no
-fi
-
-rm -rf conftest.dSYM
-rm -f core conftest.err conftest.$ac_objext conftest_ipa8_conftest.oo \
-      conftest$ac_exeext conftest.$ac_ext
-LIBS=$ac_check_lib_save_LIBS
-fi
-{ $as_echo "$as_me:$LINENO: result: $ac_cv_lib_cudd_Cudd_Init" >&5
-$as_echo "$ac_cv_lib_cudd_Cudd_Init" >&6; }
-if test "x$ac_cv_lib_cudd_Cudd_Init" = x""yes; then
-  cat >>confdefs.h <<_ACEOF
-#define HAVE_LIBCUDD 1
-_ACEOF
-
-  LIBS="-lcudd $LIBS"
-
-fi
-
-fi
 
 if test "$yap_cv_myddas" != "no"
 then
@@ -8478,7 +8399,8 @@ done
 
 
 
-for ac_header in errno.h fcntl.h
+
+for ac_header in errno.h fcntl.h fenv.h
 do
 as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
 if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then
@@ -8628,7 +8550,7 @@ done
 
 
 
-for ac_header in fenv.h fpu_control.h ieeefp.h io.h limits.h
+for ac_header in float.h fpu_control.h ieeefp.h io.h limits.h
 do
 as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
 if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then
diff --git a/configure.in b/configure.in
index 5f494ae8d..ccd70235a 100755
--- a/configure.in
+++ b/configure.in
@@ -293,7 +293,7 @@ AC_ARG_WITH(junit, [  --with-junit=PATH	  Specify location of the junit JAR file
 if test "$tabling" = yes -o "$orparallelism" = yes -o "$threads" = yes
 then
   AC_DEFINE(MinHeapSpace, (1000*SIZEOF_INT_P))
-  AC_DEFINE(MinStackSpace,(300*SIZEOF_INT_P))
+  AC_DEFINE(MinStackSpace,(300*SIZEOF_INT_P)) dnl 
   AC_DEFINE(MinTrailSpace,( 48*SIZEOF_INT_P))
 else
   AC_DEFINE(MinHeapSpace, (300*SIZEOF_INT_P))
@@ -524,10 +524,10 @@ then
   AC_CHECK_LIB(gmp,main)
 fi
 
-if test "$yap_cv_cudd" != "no"
-then
-  AC_CHECK_LIB(cudd,Cudd_Init)
-fi
+dnl if test "$yap_cv_cudd" != "no"
+dnl then
+dnl   AC_CHECK_LIB(cudd,Cudd_Init)
+dnl fi
 
 if test "$yap_cv_myddas" != "no"
 then
@@ -1136,8 +1136,8 @@ dnl Checks for header files.
 AC_HEADER_STDC
 AC_HEADER_SYS_WAIT
 AC_CHECK_HEADERS(arpa/inet.h ctype.h direct.h dirent.h dlfcn.h)
-AC_CHECK_HEADERS(errno.h fcntl.h)
-AC_CHECK_HEADERS(fenv.h fpu_control.h ieeefp.h io.h limits.h)
+AC_CHECK_HEADERS(errno.h fcntl.h fenv.h)
+AC_CHECK_HEADERS(float.h fpu_control.h ieeefp.h io.h limits.h)
 AC_CHECK_HEADERS(locale.h malloc.h math.h memory.h mpi.h)
 AC_CHECK_HEADERS(netdb.h netinet/in.h pwd.h regex.h)
 AC_CHECK_HEADERS(siginfo.h signal.h stdarg.h string.h stropts.h)