summaryrefslogtreecommitdiff
path: root/Makefile.menhir
Commit message (Expand)AuthorAgeFilesLines
* Rename a few private build variablesSébastien Hinderer2023-03-141-1/+1
* Fix `make promote-menhir`Sébastien Hinderer2022-10-031-1/+1
* Build system: also factorize the inclusion of directories when calling ocamldepSébastien Hinderer2022-03-221-4/+4
* Build system: factorize the definitions related to ocamldepSébastien Hinderer2022-03-221-4/+1
* Build system: normalize the invocations of ocamldepSébastien Hinderer2022-03-221-4/+8
* Pass [--strategy simplified] to Menhir.François Pottier2021-01-061-0/+1
* Add one new test file containing 1086 tests of the syntax error messages (plu...François Pottier2020-12-211-7/+145
* Makefile.menhir enhancementSébastien Hinderer2019-01-101-6/+8
* Makefiles: restructure CAMLDEP usage to easily add flagsGabriel Scherer2018-12-121-3/+3
* Reduce the verbosity of `make promote-menhir`.François Pottier2018-11-201-4/+4
* New entry `make interpret-menhir`, to help understand and debug the parser.François Pottier2018-11-201-0/+14
* In `Makefile.menhir`, request the production of `parser.automaton`.François Pottier2018-11-201-1/+1
* Create [make demote-menhir] to undo the effect of [make promote-menhir].François Pottier2018-11-201-0/+12
* [minor] Makefile.menhirGabriel Scherer2018-09-071-1/+1
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-0/+1
* Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"Gabriel Scherer2018-09-071-1/+0
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-0/+1
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-1/+1
* Makefile.menhir: sanitize the standard.mly path to avoid useless churnGabriel Scherer2018-09-061-1/+10
* Fix a typo.François Pottier2018-09-061-1/+1
* In [make test-menhir], use a sed invocation that works both on MacOS and Linux.François Pottier2018-09-061-2/+4
* Make menhir a bit more verbose by passing -lg 1 -la 1.François Pottier2018-09-061-1/+1
* [minor] documentation improvements for Makefile.menhirGabriel Scherer2018-09-061-9/+64
* add a .depend.menhir file for menhir parser dependenciesGabriel Scherer2018-09-011-7/+9
* rename parsing/parser_menhir into parsing/parserGabriel Scherer2018-09-011-8/+8
* remove the yacc parserGabriel Scherer2018-09-011-7/+8
* menhir --fixed-exception, use the same exception as yaccGabriel Scherer2018-09-011-1/+1
* menhir parser: rename MenhirLib into CamlinternalMenhirLibGabriel Scherer2018-09-011-1/+3
* menhir parser: use --lalr mode on François Pottier's adviceGabriel Scherer2018-09-011-1/+1
* Makefile.menhir: enable strict modeGabriel Scherer2018-09-011-1/+1
* Makefile.menhir: some tokens are unused for decent reasonsGabriel Scherer2018-09-011-2/+11
* menhir parser: move .mlyp to .mly, no cpp step anymoreGabriel Scherer2018-09-011-6/+0
* new Makefile.menhir file for menhir parser bootstrapGabriel Scherer2018-09-011-0/+60
View Lorry Controller Status