]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Patch from Khoo Yit Phang.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 8 Feb 2011 11:51:42 +0000 (11:51 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 8 Feb 2011 11:51:42 +0000 (11:51 +0000)
commit2ea06775c21e4d6ab9b041a48672189b09c0f1ff
tree0886fae20851f4d86f0f192f50781d99801b24d5
parent7864866866368e73b99e316fa2c693746ee511df
Patch from Khoo Yit Phang.
uRemove -I../AST from CFLAGS, and change all affected #include to use relative paths.

This is in preparation to fix up automatic dependencies generation to use "gcc -MG" to handle the generated
src/AST/ASTKind.h file, which works more reliably when #include uses relative paths.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1124 e59a4935-1847-0410-ae03-e826735625c1
scripts/Makefile.common
src/AST/ASTNode.h
src/AST/NodeFactory/HashingNodeFactory.cpp
src/AST/NodeFactory/HashingNodeFactory.h
src/AST/NodeFactory/NodeFactory.cpp
src/AST/NodeFactory/NodeFactory.h
src/AST/NodeFactory/TypeChecker.h
src/printer/BenchPrinter.cpp
src/to-sat/AIG/ToSATAIG.h