]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
* Automatically build dependencies during make. This isn't perfect because the depend...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 04:00:00 +0000 (04:00 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 04:00:00 +0000 (04:00 +0000)
commit2ebc254419c89e41a424cd02514602ee0f4842e9
tree4d0aed54ce362daca10aaf579881768e1992a2e6
parent0c44689f53708ed27ad266e493076b9e3f18c74a
* Automatically build dependencies during make. This isn't perfect because the dependencies are only rebuilt when the source files change. They don't get rebuilt when the header files change. So changes to the dependencies inside headers wont be identified until the source file changes, triggering the dependencies to be rebuilt.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@206 e59a4935-1847-0410-ae03-e826735625c1
src/AST/Makefile
src/AST/TestAST/asttest.cpp
src/abstraction-refinement/Makefile
src/bitvec/Makefile
src/c_interface/Makefile
src/constantbv/Makefile
src/main/Makefile
src/main/main.cpp
src/simplifier/Makefile
src/to-sat/Makefile