From e66a1864c4e1a2c06e16efe951f5d86c96a8ab4c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 7 Jul 2010 00:57:48 +0000 Subject: [PATCH] some build system changes reverted after the CLN build system work a few days ago, these are now fixed: competition configurations build with -O9 (as they used to); they are static-binary by default and shared libs are not built; also the default autoconf compiler flags "-g -O2" is removed from builds --- configure.ac | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/configure.ac b/configure.ac index 08eab8d85..4c90dfd9c 100644 --- a/configure.ac +++ b/configure.ac @@ -60,6 +60,11 @@ else CVC4_CONFIGURE_AT_TOP_LEVEL=no fi +# override autoconf: we don't want it giving us CFLAGS/CXXFLAGS, but we do +# want to respect the user's flags +if test -z "${CFLAGS+set}"; then CFLAGS=; fi +if test -z "${CXXFLAGS+set}"; then CXXFLAGS=; fi + # turn off static lib building by default AC_ENABLE_SHARED AC_DISABLE_STATIC @@ -311,10 +316,6 @@ fi # Unpack standard build types. Any particular options can be overriden with # --enable/disable-X options -if test -z "${OPTLEVEL+set}"; then OPTLEVEL=3; fi -# our defaults for CFLAGS/CXXFLAGS are better than autoconf's -if test -z "${CFLAGS+set}"; then CFLAGS=; fi -if test -z "${CXXFLAGS+set}"; then CXXFLAGS=; fi case "$with_build" in production) # highly optimized, no assertions, no tracing CVC4CPPFLAGS= @@ -370,11 +371,15 @@ case "$with_build" in if test -z "${enable_assertions+set}" ; then enable_assertions=no ; fi if test -z "${enable_tracing+set}" ; then enable_tracing=no ; fi if test -z "${enable_muzzle+set}" ; then enable_muzzle=yes ; fi + if test -z "${user_specified_enable_or_disable_shared}"; then enable_shared=no; fi + if test -z "${user_specified_enable_or_disable_static}"; then enable_static=yes; fi + if test -z "${enable_static_binary+set}"; then enable_static_binary=yes ; fi ;; *) AC_MSG_FAILURE([unknown build profile: $with_build]) ;; esac +if test -z "${OPTLEVEL+set}"; then OPTLEVEL=3; fi AM_CONDITIONAL([CVC4_BUILD_PROFILE_PRODUCTION], [test "$with_build" = production]) AM_CONDITIONAL([CVC4_BUILD_PROFILE_DEBUG], [test "$with_build" = debug]) -- 2.30.2