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

diff --git a/src/AST/Makefile b/src/AST/Makefile
index e9ecc95a259f0bc5fd5f92cdcf011ece3e737497..5416feb1bba4231869c95e5a7ed228f4eedfda86 100644 (file)
--- 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