* Add back -m32. All should now make at 32-bit

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@237 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/scripts/Makefile.common b/scripts/Makefile.common
index 32774213d708b8df03d8b1431962681f372fa0a4..66b2cb077d65d58b59f3a7fdad5467138e2b1549 100644 (file)
--- a/scripts/Makefile.common
+++ b/scripts/Makefile.common
@@ -40,7 +40,6 @@ ifeq ($(shell uname -s), DarwinX)
 else
   LDFLAGS = $(LDFLAGS_BASE)
   CFLAGS = $(CFLAGS_BASE) -m32
-  CFLAGS = $(CFLAGS_BASE)
 endif
 
 #CXXFLAGS = $(CFLAGS) -Wall -Wextra -DEXT_HASH_MAP -Wno-deprecated

diff --git a/src/sat/core/Makefile b/src/sat/core/Makefile
index 15b5666d60d8fa65be17671c146d95874fe11867..78906ac8566a1bf90f6d5bc592daf6fadb15bc04 100644 (file)
--- a/src/sat/core/Makefile
+++ b/src/sat/core/Makefile
@@ -2,7 +2,6 @@ MTL       = ../mtl
 CHDRS     = $(wildcard *.h) $(wildcard $(MTL)/*.h)
 EXEC      = minisat
 CFLAGS    = -I$(MTL) -Wall -DEXT_HASH_MAP -ffloat-store -m32
-CFLAGS    = -I$(MTL) -Wall -DEXT_HASH_MAP -ffloat-store
 LFLAGS    = -lz