From 9e106c351de8f376c2d7edd62ffb59569d0421e8 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 10 Sep 2009 12:37:37 +0000
Subject: [PATCH] Improve dependency generation: * Don't delete the
 dependencies when making clean. * Don't build the dependencies for
 automatically generated code.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@215 e59a4935-1847-0410-ae03-e826735625c1
---
 src/AST/Makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/AST/Makefile b/src/AST/Makefile
index e9ecc95..5416feb 100644
--- a/src/AST/Makefile
+++ b/src/AST/Makefile
@@ -1,8 +1,8 @@
 include ../../scripts/Makefile.common
 
 SRCS=$(wildcard  *.cpp printer/*.cpp)
-SRCS+= ASTKind.cpp
 OBJS = $(SRCS:.cpp=.o)
+OBJS+= ASTKind.o
 CFLAGS += -I../sat/mtl -I../sat/core
 
 #Make the ast library for use by other modules
@@ -17,10 +17,11 @@ ASTKind.h ASTKind.cpp:	ASTKind.kinds genkinds.pl
 
 .PHONY: clean
 clean:
-	rm -rf *.o *~ bbtest asttest cnftest *.a  ASTKind.cpp .#* depend
+	rm -rf *.o *~ bbtest asttest cnftest *.a  ASTKind.cpp .#*
 	rm -rf printer/*.o printer/*~
 
 depend: $(SRCS)
-	@$(CXX) -MM $(CXXFLAGS) $(SRCS) > $@
+	@$(CXX) -MM -MG $(CXXFLAGS) $(SRCS) > $@
+
+-include ./depend
 
-#-include depend
-- 
2.47.3