From: smccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 31 Oct 2008 23:28:04 +0000 (+0000)
Subject: Add an OPTIMIZE Makefile flag to make it easier to enable optimization
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=bc2ded87f3376bd56bdb2f3b5b6d05b2c50cf907;p=francis%2Fstp.git

Add an OPTIMIZE Makefile flag to make it easier to enable optimization
or debugging without otherwise breaking the build. Plus some other
cosmetic changes to Makefile comments.


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

diff --git a/Makefile.common b/Makefile.common
index 10cf366..3d5c21e 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -1,3 +1,4 @@
+# This is a -*- makefile -*-, Emacs
 #Please refer LICENSE FILE in the home directory for licensing
 #information always use full screen mode to view/edit this file in
 #emacs
@@ -6,10 +7,11 @@
 #OPTIONS1 = -DNATIVE_C_ARITH
 #OPTIONS2 = -DSMTLIB
 
-#CFLAGS_BASE = -g -ggdb -pg $(OPTIONS1) $(OPTIONS2)
-#CFLAGS_BASE = -ggdb $(OPTIONS1) $(OPTIONS2)
+#OPTIMIZE = -g -pg # Debugging and gprof-style profiling
+#OPTIMIZE = -g     # Debugging
+OPTIMIZE = -O3     # Maximum optimization
 
-CFLAGS_BASE = -O3 $(OPTIONS1) $(OPTIONS2)
+CFLAGS_BASE = $(OPTIMIZE) $(OPTIONS1) $(OPTIONS2)
 # You can compile using make STATIC=true to compile a statically linked executable
 # Note that you should execute liblinks.sh first.
 ifdef STATIC
@@ -42,6 +44,7 @@ else
 endif
 
 CXXFLAGS = $(CFLAGS) -Wall -DEXT_HASH_MAP
+#CXXFLAGS = $(CFLAGS) -Wall -DTR1_UNORDERED_MAP
 #CXXFLAGS = $(CFLAGS) -Wall 
 #LDFLAGS= -lstdc++
 #LDFLAGS= -lstdc++ -pg
diff --git a/Makefile.in b/Makefile.in
index e9ab2a3..169adbc 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1,7 +1,7 @@
  # STP (Simple Theorem Prover) top level makefile
  #
- # To make in debug mode, type 'make "CFLAGS=-ggdb"
- # To make in optimized mode, type 'make "CFLAGS=-O2" 
+ # To make in debug mode, type 'make "OPTIMIZE=-g"
+ # To make in optimized mode, type 'make "OPTIMIZE=-O3" 
 
 
 include Makefile.common config.info
@@ -51,8 +51,8 @@ clean:
 	rm -rf bin/*~
 	rm -rf bin/stp
 	rm -rf *.log
-	#rm -rf Makefile
-	#rm -rf config.info
+	@#rm -rf Makefile
+	@#rm -rf config.info
 	rm -f TAGS
 	$(MAKE) clean -C AST
 	$(MAKE) clean -C sat/core