casa-mp-base

--- cudd/cudd.h.orig    2012-02-04 19:07:33.000000000 -0600

+++ cudd/cudd.h 2014-10-01 20:48:15.000000000 -0500

@@ -75,14 +75,22 @@

 #define CUDD_VERSION "2.5.0"

 #ifndef SIZEOF_VOID_P

+#if __LP64__

+#define SIZEOF_VOID_P 8

+#else

 #define SIZEOF_VOID_P 4

 #endif

+#endif

 #ifndef SIZEOF_INT

 #define SIZEOF_INT 4

 #endif

 #ifndef SIZEOF_LONG

+#if __LP64__

+#define SIZEOF_LONG 8

+#else

 #define SIZEOF_LONG 4

 #endif

+#endif

 #define CUDD_TRUE 1

 #define CUDD_FALSE 0