generate_errors.sh 417 B

12345678
  1. #!/bin/sh
  2. # Generate the error file with the helper messages. This script is required
  3. # when the syntax is modified because menhir will change the state number and
  4. # we need to make it match with the comment in the messages.
  5. menhir --list-errors *.mly --base parser.mly > all_errors
  6. menhir --merge-errors expression_parser.messages --merge-errors all_errors *.mly --base parser.mly > expression_parser.messages_new