Skip to content
Snippets Groups Projects
Commit 5b4cdb55 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

allows using menhir

parent 053f0d3a
No related branches found
No related tags found
No related merge requests found
......@@ -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)))
......@@ -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" }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment