Merge branch 'master' into umm_types_relative

seL4 · Jan 27, 2024 · d035b30 · d035b30
2 parents 7b47170 + c71c31d
commit d035b30
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/c-parser/isar_install.ML b/tools/c-parser/isar_install.ML
@@ -145,7 +145,9 @@ fun get_Csyntax thy s = let
   val cpp_option =
       case Config.get_global thy cpp_path of
           "" => NONE
-        | s => SOME s
+        | s => SOME (if Path.is_absolute (Path.explode s)
+                     then s
+                     else Path.implode (Path.append (Resources.master_directory thy) (Path.explode s)))
   val cpp_error_count = Config.get_global thy report_cpp_errors
   val (ast0, _) =
       StrictCParser.parse