From a3a2b7c432d941bc8744b8128b87f4e9ee89ca17 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 13 Oct 2009 13:07:39 +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@1533 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- cudd/Makefile.darwin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cudd/Makefile.darwin b/cudd/Makefile.darwin index 4f1ea6f0..bf4a9746 100644 --- a/cudd/Makefile.darwin +++ b/cudd/Makefile.darwin @@ -63,7 +63,7 @@ ICFLAGS = # # Mac OS X (Darwin) # -XCFLAGS = -DHAVE_IEEE_754 -fno-common +XCFLAGS = -arch i386 -DHAVE_IEEE_754 -fno-common # #==========================