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 # #==========================