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