From e98a2ffbf806685f0bbbe5fc7d327eeb18269b17 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 8 Nov 2009 11:00:22 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cudd/Makefile.darwin-64 b/cudd/Makefile.darwin-64 index 61735a61..7eb6863b 100644 --- a/cudd/Makefile.darwin-64 +++ b/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 # #==========================