From b717f73a69d4043aa6bf6baee2a3bdeb3666bc3b Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 9 Sep 2009 15:06:00 +0000
Subject: [PATCH] There was link error due to versionString.cpp. It has been
 fixed

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@211 e59a4935-1847-0410-ae03-e826735625c1
---
 clean-install.sh  |  2 +-
 src/AST/Makefile  |  4 ++--
 src/main/Makefile | 20 +++++++++++++-------
 3 files changed, 16 insertions(+), 10 deletions(-)

diff --git a/clean-install.sh b/clean-install.sh
index 2b948c4..8a19bf5 100755
--- a/clean-install.sh
+++ b/clean-install.sh
@@ -19,5 +19,5 @@ done
 
 ./scripts/configure --with-prefix=$PREFIX
 make clean
-make install
+make
 
diff --git a/src/AST/Makefile b/src/AST/Makefile
index 579d4db..ba6331f 100644
--- a/src/AST/Makefile
+++ b/src/AST/Makefile
@@ -17,8 +17,8 @@ ASTKind.h ASTKind.cpp:	ASTKind.kinds genkinds.pl
 
 .PHONY: clean
 clean:
-	rm -rf *.o *~ bbtest asttest cnftest *.a  ASTKind.h ASTKind.cpp .#* depend
-	rm -rf printer/*.o
+	rm -rf *.o *~ bbtest asttest cnftest *.a  ASTKind.cpp .#* depend
+	rm -rf printer/*.o printer/*~
 
 depend: $(SRCS)
 	@$(CXX) -MM $(CXXFLAGS) $(SRCS) > $@
diff --git a/src/main/Makefile b/src/main/Makefile
index 7878284..d8e7979 100644
--- a/src/main/Makefile
+++ b/src/main/Makefile
@@ -1,28 +1,34 @@
 include ../../scripts/Makefile.common
 
-SRCS=versionString.cpp main.cpp Globals.cpp
+SRCS=main.cpp versionString.cpp Globals.cpp
 OBJS = $(SRCS:.cpp=.o)
 
-LIBS = 	-L../to-sat -ltosat -L../AST -last -L../abstraction-refinement -labstractionrefinement \
+LIBS = 	-L../to-sat -ltosat \
+	-L../AST -last \
+	-L../abstraction-refinement -labstractionrefinement \
 	-L../sat -lminisat  \
 	-L../simplifier -lsimplifier \
         -L../bitvec -lconsteval \
 	-L../constantbv -lconstantbv \
 	-L../parser -lparser
 
-#This rebuilds each time, because the target "parser" is not created
-#Until the dependencies on each of the libraries is included, that's safest.
+# This rebuilds each time, because the target "parser" is not created
+# Until the dependencies on each of the libraries is included, that's safest.
 parser:  $(OBJS) depend
 	$(CXX) $(CXXFLAGS) $(LDFLAGS) $(OBJS) $(LIBS) -o stp
 	@mv stp ../../bin/stp
 
-.PHONY: clean
+#.PHONY: clean
 clean:	
 	rm -rf *.o *~ *.a .#* depend versionString.cpp
 
-#Use svnversion to output the global revision number. This will be updated every time make is called. Because main.cpp depends on this, it will in turn be rebuilt every time.
+# Use svnversion to output the global revision number. 
+# This will be updated every time make is called. 
+# Because main.cpp depends on this, 
+# it will in turn be rebuilt every time.
 versionString.cpp: ALWAYS_RUN
-	@echo "#include <string> \n namespace BEEV{extern const std::string version=\"" $(shell svnversion ..) "\";}" > versionString.cpp
+	@echo "#include <string>"  > versionString.cpp
+	@echo "namespace BEEV{extern const std::string version=\"" $(shell svnversion ..) "\";}" >> versionString.cpp
 
 ALWAYS_RUN:
 
-- 
2.47.3