]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
projects / francis / stp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 73ef1a3)
added logs
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 2 Oct 2009 15:21:03 +0000 (15:21 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 2 Oct 2009 15:21:03 +0000 (15:21 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@270 e59a4935-1847-0410-ae03-e826735625c1

scripts/Makefile.common patch | blob | history

diff --git a/scripts/Makefile.common b/scripts/Makefile.common
index 95f34a5e5e52858f1be206b6b9c2d1dbca7a72e2..ffd597a367131c48c94920148641b24a2854b11e 100644 (file)
--- a/scripts/Makefile.common
+++ b/scripts/Makefile.common
@@ -46,7 +46,7 @@ endif
 
 #CXXFLAGS = $(CFLAGS) -Wall -Wextra -DEXT_HASH_MAP -Wno-deprecated
 CXXFLAGS = $(CFLAGS) -Wextra -DEXT_HASH_MAP -Wno-deprecated
-#CXXFLAGS = $(CFLAGS) -Wall -DTR1_UNORDERED_MAP
+#CXXFLAGS = $(CFLAGS) -Wall -DTR1_UNORDERED_MAP -Wno-deprecated
 #CXXFLAGS = $(CFLAGS) -Wall 
 #LDFLAGS= -lstdc++
 #LDFLAGS= -lstdc++ -pg
STP Constraint Solver.