Enable CPProfiler support by default

Gecode · Oct 16, 2018 · 71ca3fa · 71ca3fa
1 parent 612e563
commit 71ca3fa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/configure b/configure
@@ -1486,7 +1486,7 @@ Optional Features:
   --enable-gist           build Gecode Interactive Search Tool [default=yes]
   --enable-cbs            build with support for counting-based search
                           [default=no]
-  --enable-cpprofiler     build with support for CPProfiler [default=no]
+  --enable-cpprofiler     build with support for CPProfiler [default=yes]
   --enable-driver         build script commandline driver library
                           [default=yes]
   --enable-flatzinc       build FlatZinc interpreter [default=yes]

diff --git a/gecode.m4 b/gecode.m4
@@ -1434,7 +1434,7 @@ AC_DEFUN([AC_GECODE_CPPROFILER],
   [
   AC_ARG_ENABLE([cpprofiler],
     AC_HELP_STRING([--enable-cpprofiler],
-      [build with support for CPProfiler @<:@default=no@:>@]))
+      [build with support for CPProfiler @<:@default=yes@:>@]))
   AC_MSG_CHECKING(whether to build with support for CPProfiler)
   if test "${enable_cpprofiler:-no}" = "yes"; then
     AC_MSG_RESULT(yes)