blob: 3cff76953ba92cd7218b30b648e22fa5d91930a5 (
plain)
1
2
3
4
5
6
7
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
|
