From 464bbe3b057bde32b9e0e1aa1f989818dba585db Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Dec 2013 12:40:50 -0500
Subject: some config changes: new --bsd option, readline gives warning,
 default build is now production.

---
 src/util/configuration.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/util/configuration.h')

diff --git a/src/util/configuration.h b/src/util/configuration.h
index be49e3dcf..696b67715 100644
--- a/src/util/configuration.h
+++ b/src/util/configuration.h
@@ -83,12 +83,16 @@ public:
 
   static std::string about();
 
+  static bool licenseIsGpl();
+
   static bool isBuiltWithGmp();
 
   static bool isBuiltWithCln();
 
   static bool isBuiltWithGlpk();
 
+  static bool isBuiltWithReadline();
+
   static bool isBuiltWithCudd();
 
   static bool isBuiltWithTlsSupport();
-- 
cgit v1.2.3