From 03cc4a7e06ce714abfc745c5de6b76b8f33cc882 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 26 Oct 2021 04:58:53 -0700 Subject: [PATCH] Fix Configuration::isStaticBuild (#7456) This PR fixes a minor issue in Configuration::isStaticBuild() which would always return true. Note that CVC5_STATIC_BUILD is always defined via #cmakedefine01 in cvc5config.h. --- src/base/configuration.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index 35a899617..c9e650117 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -73,11 +73,7 @@ bool Configuration::isCompetitionBuild() { bool Configuration::isStaticBuild() { -#if defined(CVC5_STATIC_BUILD) - return true; -#else - return false; -#endif + return CVC5_STATIC_BUILD; } string Configuration::getPackageName() { return CVC5_PACKAGE_NAME; } -- 2.30.2