diff --git a/dune-project b/dune-project
index 19fd0fc36ce7a914e0a29b6d71b181674ed04b87..3cf0921e9e89d6bc6200cc8fb36ffd4870ce92dc 100644
--- a/dune-project
+++ b/dune-project
@@ -21,5 +21,6 @@
 ;;                                                                        ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+(using menhir 2.1)
 (using dune_site 0.1)
 (package (name frama-c) (sites (share share) (libexec lib) (lib plugins) (lib plugins_gui)))
diff --git a/opam b/opam
index 1f4afda6abd549c55b5d98d1269e7f84156b7c50..4c6d23c907cf740f27b9d8181c78140e447a618a 100644
--- a/opam
+++ b/opam
@@ -117,6 +117,7 @@ depends: [
   ( "alt-ergo-free" | "alt-ergo" )
   "conf-graphviz" { post }
   "conf-time" { with-test }
+  "menhir" { build }
   "ocaml" { >= "4.11.1" }
   "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }