type dependency =
| IncludeDep of string
| UriDep of UriManager.uri
-
+ | InlineDep of string
+
let pp_dependency = function
| IncludeDep str -> "include \"" ^ str ^ "\""
| UriDep uri -> "uri \"" ^ UriManager.string_of_uri uri ^ "\""
+ | InlineDep str -> "inline \"" ^ str ^ "\""
let parse_dependencies lexbuf =
let tok_stream,_ =
true, (IncludeDep fname :: acc)
| [< '("IDENT", "include'"); '("QSTRING", fname) >] ->
true, (IncludeDep fname :: acc)
+ | [< '("IDENT", "inline"); '("IDENT", "procedural"); '("QSTRING", fname) >] ->
+ true, (InlineDep fname :: acc)
| [< '("EOI", _) >] -> false, acc
| [< 'tok >] -> true, acc
| [< >] -> false, acc) tok_stream