From 5cd138936070ff2746d1296b1cab78d222f41cb4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 1 Mar 2010 09:55:21 +0000 Subject: [PATCH] Makefile bug: fixes lack of C++ timing info on Macs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1778 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 8971bf0b..f3ddf590 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -200,12 +200,12 @@ ifeq ($(OSTYPE),darwin) CFLAGS = -arch x86_64 -fPIC -DPIC $(DEBUG) $(OPTIMISE) CPPFLAGS = -arch x86_64 -fPIC -DPIC $(DEBUG) $(OPTIMISE) LDFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) - CUDD_XCFLAGS = -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common + CUDD_XCFLAGS = -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common else CFLAGS = -arch i386 $(DEBUG) $(OPTIMISE) CPPFLAGS = -arch i386 $(DEBUG) $(OPTIMISE) LDFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) - CUDD_XCFLAGS = -arch i386 -DHAVE_IEEE_754 -fno-common + CUDD_XCFLAGS = -arch i386 -DHAVE_IEEE_754 -DBSD -fno-common endif SHARED = -dynamiclib EXE =