compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merged responfile function into command.	Bernhard Schommer	2016-07-19	1	-7/+2
\| \| \| \| \| \|	Command now decides whether to use a responsefile or call the external command directly. Bug 18004
*	Added heuristic for passing arg via responsefiles.	Bernhard Schommer	2016-07-12	1	-2/+7
\| \| \| \| \| \| \|	Since gnu make and other tools under windows seem to have a limit of around 8000 bytes per command line the arguments should be passed via responsefiles instead. Bug 18308
*	Moved assembler and linker into own files.	Bernhard Schommer	2016-06-24	1	-2/+2
\| \| \| \| \| \|	The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
*	Deactivate options target dependend.	Bernhard Schommer	2016-06-24	1	-48/+49
\| \| \| \| \| \|	Options only available for gnu systems or arm target arch are no longer displayed in the help and cannot be selected any longer. Bug 19197
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-0/+163
	Clightgen and CompCert share the code for preprocessing as well as parsing C files. The code as well as command line switches is moved in the new module Frontend. Bug 18768