diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:22:37 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:22:37 +0200 |
| commit | af2cd75bc1e8fb119e2ef091f51355db333167ac (patch) | |
| tree | e80605017eb096c01f8fe2be4b413639fccbf02d /.gitignore | |
| parent | 7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff) | |
| download | compcert-kvx-af2cd75bc1e8fb119e2ef091f51355db333167ac.tar.gz compcert-kvx-af2cd75bc1e8fb119e2ef091f51355db333167ac.zip | |
Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.
Passing --no-stdlib ensures that there is no dependency on Menhir's
standard library.
Passing -v, which is equivalent to --explain --dump, requests the
generation of pre_parser.automaton, a description of the automaton.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -39,6 +39,7 @@ cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml cparser/pre_parser.mli +cparser/pre_parser.automaton lib/Readconfig.ml lib/Tokenize.ml driver/Version.ml |