1 files changed, 8 insertions, 0 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 05f5c7678..5bd607d94 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -113,6 +113,10 @@ std::string Configuration::about() {
   return CVC4_ABOUT_STRING;
 }
 
+bool Configuration::licenseIsGpl() {
+  return IS_GPL_BUILD;
+}
+
 bool Configuration::isBuiltWithGmp() {
   return IS_GMP_BUILD;
 }
@@ -129,6 +133,10 @@ bool Configuration::isBuiltWithAbc() {
   return IS_ABC_BUILD;
 }
 
+bool Configuration::isBuiltWithReadline() {
+  return IS_READLINE_BUILD;
+}
+
 bool Configuration::isBuiltWithCudd() {
   return false;
 }