Revert "Default builds are now proof enabled."

This reverts commit 4fd18dee3156a6dd1903b95662034d6e996ff88b.

diff --git a/configure.ac b/configure.ac
index 0b1700cca5c2be3ecf058caf1d7bb365d72753b0..7fa6eafc56140524ce10909f45dc6e4184d6662b 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -445,7 +445,7 @@ case "$with_build" in
     if test -z "${enable_statistics+set}"   ; then enable_statistics=yes            ; fi
     if test -z "${enable_replay+set}"       ; then enable_replay=no                 ; fi
     if test -z "${enable_assertions+set}"   ; then enable_assertions=no             ; fi
-    if test -z "${enable_proof+set}"        ; then enable_proof=yes                 ; fi
+    if test -z "${enable_proof+set}"        ; then enable_proof=no                  ; fi
     if test -z "${enable_tracing+set}"      ; then enable_tracing=no                ; fi
     if test -z "${enable_dumping+set}"      ; then enable_dumping=yes               ; fi
     if test -z "${enable_muzzle+set}"       ; then enable_muzzle=no                 ; fi
@@ -461,7 +461,7 @@ case "$with_build" in
     if test -z "${enable_statistics+set}"   ; then enable_statistics=yes            ; fi
     if test -z "${enable_replay+set}"       ; then enable_replay=yes                ; fi
     if test -z "${enable_assertions+set}"   ; then enable_assertions=yes            ; fi
-    if test -z "${enable_proof+set}"        ; then enable_proof=yes                 ; fi
+    if test -z "${enable_proof+set}"        ; then enable_proof=no                  ; fi
     if test -z "${enable_tracing+set}"      ; then enable_tracing=yes               ; fi
     if test -z "${enable_dumping+set}"      ; then enable_dumping=yes               ; fi
     if test -z "${enable_muzzle+set}"       ; then enable_muzzle=no                 ; fi
@@ -478,7 +478,7 @@ case "$with_build" in
     if test -z "${enable_statistics+set}"   ; then enable_statistics=yes            ; fi
     if test -z "${enable_replay+set}"       ; then enable_replay=yes                ; fi
     if test -z "${enable_assertions+set}"   ; then enable_assertions=yes            ; fi
-    if test -z "${enable_proof+set}"        ; then enable_proof=yes                 ; fi
+    if test -z "${enable_proof+set}"        ; then enable_proof=no                  ; fi
     if test -z "${enable_tracing+set}"      ; then enable_tracing=yes               ; fi
     if test -z "${enable_dumping+set}"      ; then enable_dumping=yes               ; fi
     if test -z "${enable_muzzle+set}"       ; then enable_muzzle=no                 ; fi
@@ -544,7 +544,7 @@ AC_ARG_ENABLE([proof],
   [AS_HELP_STRING([--enable-proof],
      [support proof generation])])
 if test -z "${enable_proof+set}"; then
-  enable_proof=yes
+  enable_proof=no
 fi
 AC_MSG_RESULT([$enable_proof])