diff --git a/src/menhir.boot.ml b/src/menhir.boot.ml
new file mode 100644
index 00000000..cfa023f9
--- /dev/null
+++ b/src/menhir.boot.ml
@@ -0,0 +1,5 @@
+let gen_rules _ _ = ()
+
+let targets _ = []
+
+let module_names _ = []