From eb5fc96ca6f1e02054a1ae4d250ea69aceb17a05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vitor@ubuntu.(none)>
Date: Tue, 10 Mar 2009 14:19:10 +0000
Subject: [PATCH] simplecudd should not be a default.

---
 configure    | 2 +-
 configure.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index dca0b5e98..a00b6e201 100755
--- a/configure
+++ b/configure
@@ -2908,7 +2908,7 @@ if test "${with_cudd+set}" = set; then
 		CUDD_CPPFLAGS="-I $yap_cv_cudd/include"
 	fi
 else
-  yap_cv_cudd=yes
+  yap_cv_cudd=no
 fi
 
 
diff --git a/configure.in b/configure.in
index 1e6e5478c..287fcaced 100644
--- a/configure.in
+++ b/configure.in
@@ -109,7 +109,7 @@ AC_ARG_WITH(cudd,
 		CUDD_LDFLAGS="$yap_cv_cudd/cudd/libcudd.a  $yap_cv_cudd/mtr/libmtr.a  $yap_cv_cudd/st/libst.a  $yap_cv_cudd/util/libutil.a  $yap_cv_cudd/epd/libepd.a "
 		CUDD_CPPFLAGS="-I $yap_cv_cudd/include"
 	fi,
-	[yap_cv_cudd=yes])
+	[yap_cv_cudd=no])
 
 AC_ARG_ENABLE(myddas,
 	[ --enable-myddas[[=DIR]]      enable the MYDDAS library],