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

@@ -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