Merge branch 'feature/kernel/allows-using-menhir' into 'master'

Allows using menhir

See merge request frama-c/frama-c!4052

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)))

nix/frama-c.nix

@@ -21,6 +21,7 @@
 , lablgtk3
 , lablgtk3-sourceview3
 , ltl2ba
+, menhir
 , menhirLib
 , mlmpfr
 , ocaml
@@ -75,6 +76,7 @@ stdenvNoCC.mkDerivation rec {
     lablgtk3
     lablgtk3-sourceview3
     ltl2ba
+    menhir
     menhirLib
     mlmpfr
     ocaml

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" }