add statistics support information to --show-config

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 9b463f7970e1291ee6e2c632e1167290128b227a..8cd824b0c3eee89ec3e2f4cfb18e996b585fdc53 100644 (file)
--- 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 33c0a74079cc4c8853532eef4d3831f7c4cdeafc..a9d59a7fed5adcb4be79d8deea3b4cf4a56c9e79 100644 (file)
--- 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 d04efe0aac2990e45028a7d01bf4f0a7bf98aa54..27b0193789a560d9d2a30c2edc9ce2c11f62c336 100644 (file)
--- 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 8f26d9376c6466070b44c155c319da4bc42197e7..dcf146010cfd13d9ba7dee7d9a1752b4f44ac598 100644 (file)
--- 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");