- #!/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
|