From 61bd5a69ec0574d4e11b327d1b88b3a995c6a515 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 24 Oct 2012 14:27:39 -0700 Subject: [PATCH] added missing flags 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 6ceb8d737..0c4d1b333 100644 --- a/scripts/config-debug.mk.in +++ b/scripts/config-debug.mk.in @@ -1,7 +1,7 @@ CXX=@CXX@ -CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse -fPIC +CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -DZ3DEBUG -D_TRACE -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse -fPIC CXX_OUT_FLAG=-o OBJ_EXT=.o LIB_EXT=.a