From bba816fc9e0ae66e73e8a51007fbbea4b5553260 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 13 Oct 2009 13:09:01 +0000 Subject: [PATCH] Ensure possible to build 32-bit version on 64-bit Macs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1534 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 5b983e47..6a8955e3 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -201,9 +201,9 @@ ifeq ($(OSTYPE),darwin) 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) + CFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) + CPPFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) + LDFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) CUDD_MAKEFILE = Makefile.darwin endif SHARED = -dynamiclib