HLog.error ("Unexpected " ^ snd(MatitaExcPp.to_string exn));
assert false
in
- if b then f ~include_paths x
+ if b then
+ try f ~include_paths x with LexiconEngine.IncludedFileNotCompiled _ ->
+ raise
+ (Failure ("Including: "^tgt^
+ "\nNothing to do... did you run matitadep?"))
else raise (Failure ("Compiling: " ^ tgt))
;;