-let wrap_with_make include_paths (f : #LexiconEngine.status GrafiteParser.statement) x =
- try
- f ~never_include:true ~include_paths x
- with
- | GrafiteParser.NoInclusionPerformed mafilename ->
+let wrap_with_make include_paths f x =
+ match f x with
+ GrafiteParser.LSome (GrafiteAst.Executable (_,GrafiteAst.NCommand
+ (_,GrafiteAst.Include (_,_,mafilename)))) as cmd ->