From 5b4cdb55219204ae9d1c19db6b3f3b74ae3fc9ff Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 13 Jan 2023 10:24:23 +0100
Subject: [PATCH] allows using menhir
---
dune-project | 1 +
opam | 1 +
2 files changed, 2 insertions(+)
diff --git a/dune-project b/dune-project
index 19fd0fc36ce..3cf0921e9e8 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 1f4afda6abd..4c6d23c907c 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" }
--
GitLab