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.

---
 config/cvc4.m4 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'config/cvc4.m4')

diff --git a/config/cvc4.m4 b/config/cvc4.m4
index aefce193a..4b8b2e342 100644
--- a/config/cvc4.m4
+++ b/config/cvc4.m4
@@ -16,8 +16,9 @@ AC_DEFUN([CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE],
 handle_option() {
   ac_option="$[]1"
   case $ac_option in
+    --bsd) ac_option='CVC4_BSD_LICENSED_CODE_ONLY=1' ;;
     -*|*=*) ;;
-    production|production-*|debug|debug-*|default|default-*|competition|competition-*)
+    production|production-*|debug|debug-*|competition|competition-*)
       # regexp `\?' not supported on Mac OS X
       ac_option_build=`expr "$ac_option" : '\([[^-]]*\)-\{0,1\}'`
       ac_cvc4_build_profile_set=yes
-- 
cgit v1.2.3