From bf15197e49f5f33420321058c14d72c3c5892388 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 5 Mar 2012 16:40:32 +0000
Subject: [PATCH] cudd is a nightmare.

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

diff --git a/configure b/configure
index 04073a764..d537ee20d 100755
--- a/configure
+++ b/configure
@@ -4632,8 +4632,12 @@ if test "${with_cudd+set}" = set; then
                fi
 	       cudd_dir=/usr/local
 	    fi
-            	    if test -d "$cudd_dir/lib64" -a "$YAP_TARGET" = amd64; then
+            	    if test -d "$cudd_dir/lib64/cudd" -a "$YAP_TARGET" = amd64; then
+	      LIBS="$LIBS -L $cudd_dir/lib64/cudd"
+	    elif test -d "$cudd_dir/lib64" -a "$YAP_TARGET" = amd64; then
 	      LIBS="$LIBS -L $cudd_dir/lib64"
+	    elif test -d "$cudd_dir/lib/cudd"; then
+	      LIBS="$LIBS -L $cudd_dir/lib/cudd"
 	    elif test -d "$cudd_dir/lib"; then
 	      LIBS="$LIBS -L $cudd_dir/lib"
 	    fi
diff --git a/configure.in b/configure.in
index ab8a30911..9a3b4f906 100755
--- a/configure.in
+++ b/configure.in
@@ -284,8 +284,12 @@ AC_ARG_WITH(cudd,
 	       cudd_dir=/usr/local
 	    fi
             dnl cudd can be most everywhere
-	    if test -d "$cudd_dir/lib64" -a "$YAP_TARGET" = amd64; then
+	    if test -d "$cudd_dir/lib64/cudd" -a "$YAP_TARGET" = amd64; then
+	      LIBS="$LIBS -L $cudd_dir/lib64/cudd"
+	    elif test -d "$cudd_dir/lib64" -a "$YAP_TARGET" = amd64; then
 	      LIBS="$LIBS -L $cudd_dir/lib64"
+	    elif test -d "$cudd_dir/lib/cudd"; then
+	      LIBS="$LIBS -L $cudd_dir/lib/cudd"
 	    elif test -d "$cudd_dir/lib"; then
 	      LIBS="$LIBS -L $cudd_dir/lib"
 	    fi