If "p4include" is in the path, treat the file as system file.

p4lang · Jun 23, 2024 · 01edfdd · 01edfdd
1 parent 32e7396
commit 01edfdd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/p4/toP4/toP4.cpp b/frontends/p4/toP4/toP4.cpp
@@ -49,7 +49,7 @@ void ToP4::end_apply(const IR::Node *) {
 // Try to guess whether a file is a "system" file
 bool ToP4::isSystemFile(cstring file) {
     if (noIncludes) return false;
-    if (file.startsWith(p4includePath)) return true;
+    if (file.startsWith(p4includePath) || file.find("p4include") != nullptr) return true;
     return false;
 }