Commit 1ff865ac authored by Patrick Baudin's avatar Patrick Baudin
Browse files

init using menhir for aorai parser

parent f19c1613
......@@ -47,6 +47,10 @@
(ocamllex yalexer)
(ocamlyacc yaparser)
(modules yaparser)
; "--fixed-exception" fixes compatibility with ocamlyacc Parsing.Parse_error
(flags --fixed-exception --explain --dump --comment)
(plugin (optional) (name aorai) (libraries frama-c-aorai.core) (site (frama-c plugins)))
......@@ -26,3 +26,4 @@
(name frama-c-aorai)
(using dune_site 0.1)
(using menhir 2.1)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment