Add documentation and build instructions for recompilation (LGPL). (#4844)

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();