Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Query menhir for location of menhir lib in config. | Bernhard Schommer | 2016-10-18 | 1 | -37/+0 |
| | | | | | | Since the menhir version required supports the --suggest-menhirLib flag we can query it already in the configure script simplifying the Makefile.menhir | ||||
* | Use ifndef correct. Bug 17481 | Bernhard Schommer | 2015-10-27 | 1 | -1/+1 |
| | |||||
* | Test if menhir includes is set before trying to set it. | Bernhard Schommer | 2015-10-27 | 1 | -1/+5 |
| | | | | Bug 17481. | ||||
* | Allow the MENHIR_INCLUDE path to be set by environment. | Bernhard Schommer | 2015-10-27 | 1 | -4/+3 |
| | | | | Bug 17481 | ||||
* | Added copyright banners to the new files. | François Pottier | 2015-10-23 | 1 | -0/+12 |
| | |||||
* | Switch to --table mode. This is slightly slower but otherwise changes nothing. | François Pottier | 2015-10-23 | 1 | -1/+1 |
| | |||||
* | Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible. | François Pottier | 2015-10-23 | 1 | -5/+9 |
| | |||||
* | It is probably more efficient to eagerly evaluate $(MENHIR_INCLUDES). | François Pottier | 2015-10-16 | 1 | -1/+1 |
| | | | | This should save a lot of calls to the shell, menhir, and ocamlfind. | ||||
* | Added [Makefile.menhir], which gives a choice between Menhir's "code" and ↵ | François Pottier | 2015-10-16 | 1 | -0/+67 |
"table" back-ends when compiling CompCert. For now, MENHIR_TABLE is set to false, so CompCert is not affected. Setting MENHIR_TABLE to true builds CompCert using Menhir's table back-end. This causes a small but repeatable slowdown on "make test", about 2% (roughly 1 second out of 40). I have tested building ccomp and ccomp.byte. I have tested with an ocamlfind-installed menhir and with a manually-installed menhir. |