Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 86c4cc30 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

Add -track_rules argument

parent c7e11374
......@@ -90,6 +90,7 @@ module Grew_args = struct
"Optionnal arguments:";
" -strat <name> The stategy used in transformation (default=\"main\")";
" -cupt If the option is present, a 11-column CoNLL format is produced";
" -track_rules If the option is present, data about the rules applied are given in output";
"";
"For additional information, see http://grew.fr";
"----------------------------------------------------------";
......@@ -112,6 +113,7 @@ module Grew_args = struct
| "-cupt" :: args -> cupt := true; loop args
| "-safe_commands" :: args -> Libgrew.set_safe_commands true; loop args
| "-track_rules" :: args -> Libgrew.set_track_rules true; loop args
| "-debug" :: args -> Libgrew.set_debug_mode true; loop args
| "-dep_dir" :: dir :: args -> dep_dir := Some dir; loop args
......
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