[buddy]

Add support for --enable-devel and similar macros.

* m4/debug.m4: Rename to ...
* m4/bdebug.m4: ... this.
* m4/debug.m4, m4/devel.m4, m4/gccoptim.m4, m4/ndebug.m4: New file.
* m4/gccwarns.m4: Fix usage of cache variable.  Fix shell
syntax.  Do not check for -Waggregate-return.  Update CFLAGS.
* configure.ac: Adjust to handle --enable-devel and similar macros
in the same way as Spot.

buddy/ChangeLog

+2011-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Add support for --enable-devel and similar macros.
+
+	* m4/debug.m4: Rename to ...
+	* m4/bdebug.m4: ... this.
+	* m4/debug.m4, m4/devel.m4, m4/gccoptim.m4, m4/ndebug.m4: New file.
+	* m4/gccwarns.m4: Fix usage of cache variable.  Fix shell
+	syntax.  Do not check for -Waggregate-return.  Update CFLAGS.
+	* configure.ac: Adjust to handle --enable-devel and similar macros
+	in the same way as Spot.
+
 2011-04-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Tag functions with attributes pure, const, or noreturn.

buddy/configure.ac

@@ -4,6 +4,13 @@ AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([foreign nostdinc no-define 1.7.3])
 
+# If the user didn't supply a CFLAGS value,
+# set an empty one to prevent autoconf to stick -O2 -g here.
+test -z "$CFLAGS" && CFLAGS=
+test -z "$CXXFLAGS" && CXXFLAGS=
+
+adl_ENABLE_DEVEL
+
 AC_PROG_CC
 
 AM_PROG_LEX
@@ -13,9 +20,17 @@ AC_PROG_CXX
 
 LT_INIT([win32-dll])
 
+adl_ENABLE_DEBUG
+ad_GCC_OPTIM
+adl_NDEBUG
+
 buddy_INTEL
 buddy_DEBUG_FLAGS
 
+if test x$enable_warnings = xyes; then
+  CF_GCC_WARNINGS
+fi
+
 AC_CONFIG_HEADERS([config.h])
 
 AC_CONFIG_FILES([

buddy/m4/bdebug.m4

+AC_DEFUN([buddy_DEBUG_FLAGS],
+[AC_ARG_ENABLE([swap-count],
+  [AC_HELP_STRING([--enable-swap-count],
+     [Count number of fundamental variable swaps (for debugging)])])
+case $enable_swap_count in
+  yes)
+    AC_DEFINE([SWAPCOUNT], 1,
+	      [Define to 1 to count number of fundamental variable swaps
+	       (for debugging).])
+    ;;
+esac
+
+AC_ARG_ENABLE([cache-stats],
+  [AC_HELP_STRING([--enable-cache-stats],
+     [Gather statistical information about operator and unique node caching (for debugging)])])
+case $enable_cache_stats in
+  yes)
+    AC_DEFINE([CACHESTATS], 1,
+              [Defube to 1 to gather statistical information about operator and unique node caching (for debugging).])
+    ;;
+esac
+])

buddy/m4/debug.m4

-AC_DEFUN([buddy_DEBUG_FLAGS],
-[AC_ARG_ENABLE([swap-count], 
-  [AC_HELP_STRING([--enable-swap-count], 
-     [Count number of fundamental variable swaps (for debugging)])])
-case $enable_swap_count in
-  yes)
-    AC_DEFINE([SWAPCOUNT], 1, 
- 	      [Define to 1 to count number of fundamental variable swaps 
-	       (for debugging).])
-    ;;
-esac
-
-AC_ARG_ENABLE([cache-stats], 
-  [AC_HELP_STRING([--enable-cache-stats], 
-     [Gather statistical information about operator and unique node caching (for debugging)])])
-case $enable_cache_stats in
-  yes)
-    AC_DEFINE([CACHESTATS], 1, 
-              [Defube to 1 to gather statistical information about operator and unique node caching (for debugging).])
-    ;;
-esac
-])
-
-     
-  
\ No newline at end of file

buddy/m4/debug.m4

+../../m4/debug.m4
\ No newline at end of file

buddy/m4/devel.m4

+../../m4/devel.m4
\ No newline at end of file

buddy/m4/gccoptim.m4

+../../m4/gccoptim.m4
\ No newline at end of file

buddy/m4/gccwarns.m4

@@ -14,7 +14,7 @@ dnl A few other options have been left out because they are annoying in C++.
 
 AC_DEFUN([CF_GCC_WARNINGS],
 [if test -n "$GCC"; then
-  AC_CACHE_CHECK([for $GCC warning options], ac_cv_prog_gxx_warn_flags,
+  AC_CACHE_CHECK([for $GCC warning options], ac_cv_prog_gcc_warn_flags,
   [
   cat > conftest.$ac_ext <<EOF
 #line __oline__ "configure"
@@ -23,7 +23,6 @@ EOF
   cf_save_CFLAGS="$CFLAGS"
   ac_cv_prog_gcc_warn_flags="-W -Wall"
   for cf_opt in \
-   Waggregate-return \
    Wbad-function-cast \
    Wcast-align \
    Winline \
@@ -34,7 +33,7 @@ EOF
    Wmissing-prototypes \
    Wstrict-prototypes \
    Wshadow \
-   Wcast-qual \
+   Wcast-qual
   do
     CFLAGS="$cf_save_CFLAGS $ac_cv_prog_gcc_warn_flags -$cf_opt"
     if AC_TRY_EVAL(ac_compile); then
@@ -43,9 +42,8 @@ EOF
     fi
   done
   rm -f conftest*
-dnl  CFLAGS="$cf_save_CFLAGS"
+  CFLAGS="$cf_save_CFLAGS"
   ])
 fi
-dnl AC_SUBST([WARNING_CFLAGS], ["${ac_cv_prog_gcc_warn_flags}"])
+CFLAGS="$CFLAGS ${ac_cv_prog_gcc_warn_flags}"
 ])
-

buddy/m4/ndebug.m4

+../../m4/ndebug.m4
\ No newline at end of file