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