Commit 6c1ff3c2 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

change the alias name for checking whether all the geretared error messages...

change the alias name for checking whether all the geretared error messages have a user friendly wording from 'check' to 'check_all_messages' after dune added a '@check' alias (1.5.0)
parent 32d0fa35
......@@ -3,7 +3,6 @@
(ocamllex data_lexer term_lexer)
(menhir
; (flags (--explain --table --compile-errors /home/pogodall/work/dev/ACGtk/src/grammars/term_parser_test.messages))
(flags (--explain --table))
(modules term_parser_test))
......@@ -12,21 +11,18 @@
(flags (--explain --table --strict))
(modules file_parser sig_parser lex_parser term_type_parser bound_term_parser))
;; Rule to generate the messages ml file
(rule
(targets messages.ml)
(mode promote)
(deps
(alias update)
(alias check)
(alias check_all_messages)
(:message_file data_parser.messages)
(:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
)
(action
(with-stdout-to messages.ml (run menhir --base data_parser --explain --table --compile-errors %{message_file} %{parsers})))
(with-stdout-to messages.ml (run menhir --base data_parser --compile-errors %{message_file} %{parsers})))
)
;; Rule to generate the automatic message file
......@@ -34,14 +30,14 @@
(targets data_parser.messages.automatic)
(deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
(action
(with-stdout-to data_parser.messages.automatic (run menhir --base data_parser --explain --table --list-errors %{parsers})))
(with-stdout-to data_parser.messages.automatic (run menhir --base data_parser --list-errors %{parsers})))
)
;; Rule to generate the message file
(rule
(targets data_parser.messages.new)
(deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
(action (with-stdout-to data_parser.messages.new (run menhir --base data_parser --explain --table --update-errors data_parser.messages %{parsers}))
(action (with-stdout-to data_parser.messages.new (run menhir --base data_parser --update-errors data_parser.messages %{parsers}))
)
)
......@@ -51,13 +47,13 @@
)
(alias
(name check)
(name check_all_messages)
(deps
data_parser.messages.automatic
data_parser.messages
(:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
)
(action (run menhir --base data_parser --explain --table --compare-errors data_parser.messages.automatic --compare-errors data_parser.messages %{parsers}))
(action (run menhir --base data_parser --compare-errors data_parser.messages.automatic --compare-errors data_parser.messages %{parsers}))
)
;; This stanza declares the Grammar library
......
......@@ -13,7 +13,7 @@
(mode promote)
(deps
(alias update)
(alias check)
(alias check_all_messages)
(:message_file command_parser.messages)
(:parser command_parser.mly)
)
......@@ -43,7 +43,7 @@
)
(alias
(name check)
(name check_all_messages)
(deps
command_parser.messages.automatic
command_parser.messages
......
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