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

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