search for: addincludefile

Displaying 1 result from an estimated 1 matches for "addincludefile".

2015 Sep 22
2
SourceMgr include relative to current file
SourceMgr provides AddIncludeFile which I'm thinking of using for parsing the TPTP language. As far as I can see, AddIncludeFile only deals with #include <...> style, i.e. only search the include directories. I don't see any code for dealing with #include "...", i.e. first look relative to the current file....