From 2243bd3c4a1a1756810020ae10560c79f8651bb5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 24 Oct 2012 18:00:53 -0700 Subject: [PATCH] remove -fPIC Signed-off-by: Leonardo de Moura --- scripts/config-debug.mk.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/config-debug.mk.in b/scripts/config-debug.mk.in index 78109ea7a..de807a217 100644 --- a/scripts/config-debug.mk.in +++ b/scripts/config-debug.mk.in @@ -1,7 +1,7 @@ CXX=@CXX@ -CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -DZ3DEBUG -D_TRACE -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse -fPIC +CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -DZ3DEBUG -D_TRACE -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse CXX_OUT_FLAG=-o OBJ_EXT=.o LIB_EXT=.a