Commit 1b4ee61e authored by François Bobot's avatar François Bobot

Menhir parser move diffing when the file is used

       Otherwise the file diffed is removed
parent a7d3cb1b
......@@ -311,3 +311,4 @@ pvsbin/
trywhy3.tar.gz
/_build/
/dune_done
/dune-workspace
(lang dune 1.6)
(env (_ (env-vars
("WHY3_LOCALDIR" "/volatile/home/fb236650/Sources/why3")
)))
(lang dune 1.6)
(env (_ (env-vars
("WHY3_LOCALDIR" "@LOCALDIR@")
)))
(env (_
(env-vars ("WHY3_LOCALDIR" "@LOCALDIR@"))
(flags -w A-4-9-41-44-45-50-52@5@8@48)
))
......@@ -5,5 +5,4 @@
(public_name why3.plugin.python)
(name why3_plugin_python)
(libraries why3)
(flags -w A-4-9-41-44-45-50-52@5@8@48)
)
......@@ -13,21 +13,24 @@
)
(rule
(targets handcrafted.messages.updated)
(action (progn
(with-stdout-to handcrafted.messages.new
(run %{bin:menhir} --explain --strict %{dep:parser.mly} --update-errors %{dep:handcrafted.messages}))
(with-stdout-to handcrafted.messages.updated
(run %{dep:tidy_menhir/tidy_menhir.exe} handcrafted.messages.new)
)
(diff handcrafted.messages handcrafted.messages.updated)
))
)
(with-stdout-to handcrafted.messages.new
(run %{bin:menhir} --explain --strict %{dep:parser.mly} --update-errors %{dep:handcrafted.messages})))
(rule
(with-stdout-to handcrafted.messages.updated
(run %{dep:tidy_menhir/tidy_menhir.exe} %{dep:handcrafted.messages.new})
))
(rule
(with-stdout-to parser_messages.ml
(run
%{bin:menhir} --explain --strict %{dep:parser.mly} --compile-errors
%{dep:handcrafted.messages.updated}
))
(target parser_messages.ml)
(action
(progn
(diff handcrafted.messages handcrafted.messages.updated)
(with-stdout-to parser_messages.ml
(run
%{bin:menhir} --explain --strict %{dep:parser.mly} --compile-errors
%{dep:handcrafted.messages.updated}
))
)
)
)
Markdown is supported
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