compcert - CompCert fork with minor modifications for Vericert.

	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.