From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 2 Aug 2017 23:18:53 +0000 (-0700)
Subject: Disable debug symbols for production builds.
X-Git-Tag: cvc5-1.0.0~5699
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b539a167fa56deea34472a9725693f45ae325dd8;p=cvc5.git

Disable debug symbols for production builds.
---

diff --git a/configure.ac b/configure.ac
index 30098305f..664cf215c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -472,7 +472,7 @@ case "$with_build" in
     FLAG_VISIBILITY_HIDDEN='-fvisibility=hidden'
     if test -z "${OPTLEVEL+set}"            ; then OPTLEVEL=3                       ; fi
     if test -z "${enable_optimized+set}"    ; then enable_optimized=yes             ; fi
-    if test -z "${enable_debug_symbols+set}"; then enable_debug_symbols=yes         ; fi
+    if test -z "${enable_debug_symbols+set}"; then enable_debug_symbols=no          ; fi
     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