(* $Id$ *)
+(* FG
+ * From Cambridge dictionary
+ * Dependency:
+ * a country which is supported and governed by another country
+ * Dependence:
+ * when you need something or someone all the time, especially in order to
+ * continue existing or operating
+ *
+ * Fate vobis ...
+ *)
+
exception UnableToInclude of string
(* statements meaningful for matitadep *)
let rec parse acc =
try
(parser
+ | [< '("QSTRING", s) >] ->
+ (* because of alias id qstring = qstring :-( *)
+ (try
+ parse (UriDep (UriManager.uri_of_string s) :: acc)
+ with
+ UriManager.IllFormedUri _ -> parse acc)
| [< '("URI", u) >] ->
parse (UriDep (UriManager.uri_of_string u) :: acc)
| [< '("IDENT", "include"); '("QSTRING", fname) >] ->
| [< 'tok >] -> parse acc
| [< >] -> acc) tok_stream
with
- Stream.Error _ -> parse acc
+ Stream.Error _ -> parse acc
+ | CicNotationLexer.Error _ -> parse acc
in
List.rev (parse [])
| p :: tl ->
let path = p ^ "/" ^ path in
try
- ignore (Unix.stat path); path
+ ignore (Unix.stat path);
+ HLog.debug ("Including "^path^" with path: " ^ p);
+ path
with Unix.Unix_error _ -> aux tl
in
try