From 27787adfa57228ad03133d6f9fd050d6ff0bedad Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 17 Sep 2009 04:54:11 +0000 Subject: [PATCH] * 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 --- scripts/Makefile.common | 1 - src/sat/core/Makefile | 1 - 2 files changed, 2 deletions(-) diff --git a/scripts/Makefile.common b/scripts/Makefile.common index 3277421..66b2cb0 100644 --- 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 15b5666..78906ac 100644 --- 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 -- 2.47.3