Bug fix for 64-bit build on Mac OS X.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1550 bbc10eb1-c90d-0410-af57-cb519fbb1720

cudd/Makefile.darwin-64

@@ -63,7 +63,7 @@ ICFLAGS	=
 #
 #  Mac OS X (Darwin) (64-bit)
 #
-XCFLAGS	= -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -fno-common
+XCFLAGS	= -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
 #
 #==========================