From 5a726ff9483acd03bae70fa3a437955796f0e532 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 3 Feb 2010 08:50:55 +0000 Subject: [PATCH] Makefile fix: allow building in 32-bit mode on 64-bit Linux. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1723 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index e3bb1dc0..06436b0e 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -150,9 +150,9 @@ ifeq ($(OSTYPE),linux) LDFLAGS = $(DEBUG) $(OPTIMISE) -DPIC -fPIC CUDD_MAKEFILE = Makefile.linux-64 else - CFLAGS = $(DEBUG) $(OPTIMISE) - CPPFLAGS = $(DEBUG) $(OPTIMISE) - LDFLAGS = $(DEBUG) $(OPTIMISE) + CFLAGS = -m32 $(DEBUG) $(OPTIMISE) + CPPFLAGS = -m32 $(DEBUG) $(OPTIMISE) + LDFLAGS = -m32 $(DEBUG) $(OPTIMISE) CUDD_MAKEFILE = Makefile.linux endif endif