diff options
Diffstat (limited to 'lib/qparser/generate_errors.sh')
| -rwxr-xr-x | lib/qparser/generate_errors.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/qparser/generate_errors.sh b/lib/qparser/generate_errors.sh new file mode 100755 index 0000000..3cff769 --- /dev/null +++ b/lib/qparser/generate_errors.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +# Generate the error file with the helper messages. This script is required +# when the syntax is modified because menhir will change the state number and +# we need to make it match with the comment in the messages. + +menhir --list-errors *.mly --base parser.mly > all_errors +menhir --merge-errors expression_parser.messages --merge-errors all_errors *.mly --base parser.mly > expression_parser.messages_new |