If cpp_path is relative, make it relative to the current theory. (#676)

Signed-off-by: Achim D. Brucker <[email protected]>
seL4 · Jan 27, 2024 · c71c31d · c71c31d
1 parent 8f5e654
commit c71c31d
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