aboutsummaryrefslogtreecommitdiff
path: root/lib/generate_errors.sh
diff options
context:
space:
mode:
authorChimrod <>2023-10-06 08:35:56 +0200
committerChimrod <>2023-10-06 08:35:56 +0200
commit97ab5c9a21166f0bffee482210d69877fd6809fa (patch)
treed1fa44000fa07631edc8924a90020f2cfe637263 /lib/generate_errors.sh
parent40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff)
Moved qparser and syntax in the library folder
Diffstat (limited to 'lib/generate_errors.sh')
-rwxr-xr-xlib/generate_errors.sh8
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/generate_errors.sh b/lib/generate_errors.sh
deleted file mode 100755
index 3cff769..0000000
--- a/lib/generate_errors.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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