ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2025-01-31 08:25:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #1116 from nasa/1115

Browse Source 
Check paths against TRICK_HOME in HeaderSearchDirs
This commit is contained in:
dbankieris 2021-03-02 13:11:32 -06:00 committed by GitHub
commit a4df0bddcb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
trick_source/codegen/Interface_Code_Gen/HeaderSearchDirs.cpp
View File

@ -246,6 +246,11 @@ bool HeaderSearchDirs::isPathInUserDir (const std::string& in_dir ) {
bool HeaderSearchDirs::isPathInUserOrTrickDir (const std::string& in_dir ) {
const std::string trick_home{getenv("TRICK_HOME")};
if ( ! in_dir.compare(0, trick_home.size(), trick_home)) {
return true ;
}
clang::HeaderSearch::search_dir_iterator sdi ;
for ( sdi = hs.system_dir_begin() ; sdi != hs.system_dir_end() ; sdi++ ) {
#if (LIBCLANG_MAJOR < 4) // TODO delete when RHEL 7 no longer supported