Displaying 1 result from an estimated 1 matches for "addincludefil".
Did you mean:
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...