From 86df4946721063eb94ab6633bd822913ff66d3a7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 18 May 2009 15:06:25 +0000
Subject: [PATCH] First attempt at 64-bit OS-X Makefiles.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1065 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index 6d38d7e1..22d6514b 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -190,14 +190,21 @@ ifeq ($(OSTYPE),cygwin)
 endif
 # Darwin
 ifeq ($(OSTYPE),darwin)
-	CFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
-	CPPFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
-	LDFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+	ifeq ($(ARCH),x86_64)
+		CFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		CPPFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		LDFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		CUDD_MAKEFILE = Makefile.darwin-64
+	else
+		CFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		CPPFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		LDFLAGS = -Wl,-search_paths_first $(DEBUG) $(OPTIMISE)
+		CUDD_MAKEFILE = Makefile.darwin
+	endif
 	SHARED = -dynamiclib
 	EXE =
 	LIBPREFIX = lib
 	LIBSUFFIX = .dylib
-	CUDD_MAKEFILE = Makefile.darwin
 	BINDISTSUFFIX = osx
 	OSTYPE_INCLUDE = Headers
 	CLASSPATHSEP = :