diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/base/configuration.cpp | 16 | ||||
-rw-r--r-- | src/base/configuration.h | 2 |
2 files changed, 18 insertions, 0 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index ef20b47cb..9da813253 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -88,6 +88,15 @@ bool Configuration::isCompetitionBuild() { return IS_COMPETITION_BUILD; } +bool Configuration::isStaticBuild() +{ +#if defined(CVC4_STATIC_BUILD) + return true; +#else + return false; +#endif +} + string Configuration::getPackageName() { return CVC4_PACKAGE_NAME; } @@ -201,6 +210,13 @@ std::string Configuration::copyright() { << " See https://github.com/SRI-CSL/libpoly for copyright and\n" << " licensing information.\n\n"; } + if (Configuration::isStaticBuild()) + { + ss << "CVC4 is statically linked against these libraries. To recompile\n" + "this version of CVC4 with different versions of these libraries\n" + "follow the instructions on " + "https://github.com/CVC4/CVC4/blob/master/INSTALL.md\n\n"; + } } if (Configuration::isBuiltWithCln() diff --git a/src/base/configuration.h b/src/base/configuration.h index d148adcbb..9d558f502 100644 --- a/src/base/configuration.h +++ b/src/base/configuration.h @@ -69,6 +69,8 @@ public: static bool isCompetitionBuild(); + static bool isStaticBuild(); + static std::string getPackageName(); static std::string getVersionString(); |