compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	Revised menhirLib autoconfiguration (#331)	Xavier Leroy	2020-02-05	1	-1/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Since Menhir version 20200123, we need to link with menhirLib.cmxa instead of menhirLib.cmx. This commit chooses automatically the file to link with: menhirLib.cmxa if it exists in the menhirLib installation directory, menhirLib.cmx otherwise. To reliably find the installation directory, configure was changed to record the menhirLib directory in Makefile.config, variable MENHIR_DIR, instead of a pre-cooked command-line option MENHIR_INCLUDES. Makefile.extr was adapted accordingly. Fixes: #329 Closes: #330
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \|	Some files are dual-licensed (GPL + noncommercial license), as marked redundantly in the license headers of those files, and in the LICENSE file. OVer the years those two markings got inconsistent. This commit updates the LICENSE file and the license headers of some files so that they agree on which files are dual-licensed. Some build-related files were dual-licensed but some others were not. Fixed by dual-licensing configure, Makefile.menhir, extraction/extraction.v, /extractionMachdep.v Moved lib/Json to backend/ because there is no need to dual-license those files, yet lib/* is dual-licensed. Plus: JsonAST did not really belong in lib/ anyway, as it depends on AST which is not in lib/
*	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.