From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 6 Oct 2012 20:13:17 +0000 (+0000)
Subject: turn off cudd by default in configure script
X-Git-Tag: cvc5-1.0.0~7730
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=292f98a5649d6f282e1e2d4c53fb76127196488a;p=cvc5.git

turn off cudd by default in configure script
---

diff --git a/config/cudd.m4 b/config/cudd.m4
index 7a569a3e9..d905c1725 100644
--- a/config/cudd.m4
+++ b/config/cudd.m4
@@ -11,7 +11,7 @@ AC_MSG_CHECKING([whether user requested CUDD support])
 AC_ARG_WITH([cudd],
   [AS_HELP_STRING([--with-cudd], [force linking/not linking against CUDD])],
   [with_cudd_set=yes],
-  [with_cudd=check; with_cudd_set=no])
+  [with_cudd=no; with_cudd_set=no])
 AC_ARG_WITH([cudd-dir],
   [AS_HELP_STRING([--with-cudd-dir=DIR], [path to cudd installation])],
   [CUDD_DIR="$withval"],
@@ -26,7 +26,11 @@ if test -n "$CUDD_DIR" -a "$with_cudd_set" = no; then
   with_cudd=yes
 fi
 if test "$with_cudd" = no; then
-  AC_MSG_RESULT([no, CUDD disabled by user])
+  if test "$with_cudd_set" = no; then
+    AC_MSG_RESULT([no (enable with --with-cudd)])
+  else
+    AC_MSG_RESULT([no, CUDD disabled by user])
+  fi
 else
   if test "$with_cudd" = check; then
     AC_MSG_RESULT([no preference by user, will auto-detect])