From 292f98a5649d6f282e1e2d4c53fb76127196488a Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 6 Oct 2012 20:13:17 +0000 Subject: [PATCH] turn off cudd by default in configure script --- config/cudd.m4 | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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]) -- 2.30.2