2 files changed, 7 insertions, 2 deletions
diff --git a/src/_tags b/src/_tags
index a89796b8..d8653781 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,5 +1,4 @@
-true: -traverse, debug
-#, use_menhir
+true: -traverse, debug, use_menhir
 <**/*.ml>: bin_annot, annot
 <lem_interp> or <test>:  include
 <sail.{byte,native}>: use_pprint, use_nums, use_unix
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index 765553d3..697ee9bd 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -101,5 +101,11 @@ dispatch begin function
         mv (basename (env "%.lem")) (dirname (env "%.lem"))
       ]);
 
+    rule "old parser"
+    ~insert:(`top)
+    ~prods: ["parser.ml"; "parser.mli"]
+    ~dep: "parser.mly"
+    (fun env builder -> Cmd(S[V"OCAMLYACC"; T(tags_of_pathname "parser.mly"++"ocaml"++"parser"++"ocamlyacc"); Px "parser.mly"]));
+
 | _ -> ()
 end ;;