From c21ad20770c41ece116c182d97e0ef824e7b26f4 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 19 Nov 2010 00:12:17 +0000
Subject: [PATCH] add statistics support information to --show-config

---
 src/util/configuration.cpp       | 4 ++++
 src/util/configuration.h         | 2 ++
 src/util/configuration_private.h | 6 ++++++
 src/util/options.cpp             | 1 +
 4 files changed, 13 insertions(+)

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 9b463f797..8cd824b0c 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -36,6 +36,10 @@ bool Configuration::isDebugBuild() {
   return IS_DEBUG_BUILD;
 }
 
+bool Configuration::isStatisticsBuild() {
+  return IS_STATISTICS_BUILD;
+}
+
 bool Configuration::isTracingBuild() {
   return IS_TRACING_BUILD;
 }
diff --git a/src/util/configuration.h b/src/util/configuration.h
index 33c0a7407..a9d59a7fe 100644
--- a/src/util/configuration.h
+++ b/src/util/configuration.h
@@ -41,6 +41,8 @@ public:
 
   static bool isDebugBuild();
 
+  static bool isStatisticsBuild();
+
   static bool isTracingBuild();
 
   static bool isMuzzledBuild();
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h
index d04efe0aa..27b019378 100644
--- a/src/util/configuration_private.h
+++ b/src/util/configuration_private.h
@@ -30,6 +30,12 @@ namespace CVC4 {
 #  define IS_DEBUG_BUILD false
 #endif /* CVC4_DEBUG */
 
+#ifdef CVC4_STATISTICS_ON
+#  define IS_STATISTICS_BUILD true
+#else /* CVC4_STATISTICS_ON */
+#  define IS_STATISTICS_BUILD false
+#endif /* CVC4_STATISTICS_ON */
+
 #ifdef CVC4_TRACING
 #  define IS_TRACING_BUILD true
 #else /* CVC4_TRACING */
diff --git a/src/util/options.cpp b/src/util/options.cpp
index 8f26d9376..dcf146010 100644
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -385,6 +385,7 @@ throw(OptionException) {
              Configuration::getVersionRelease());
       printf("\n");
       printf("debug code : %s\n", Configuration::isDebugBuild() ? "yes" : "no");
+      printf("statistics : %s\n", Configuration::isStatisticsBuild() ? "yes" : "no");
       printf("tracing    : %s\n", Configuration::isTracingBuild() ? "yes" : "no");
       printf("muzzled    : %s\n", Configuration::isMuzzledBuild() ? "yes" : "no");
       printf("assertions : %s\n", Configuration::isAssertionBuild() ? "yes" : "no");
-- 
2.30.2