compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Started implementing the printing functions for the debug info. Added a ↵	Bernhard Schommer	2015-03-16	1	-0/+6
\| \| \| \|	global target dependend option to activate the printing only for targets wher it works.
*	Use Unix.create_process instead of Sys.command (continued).	Xavier Leroy	2014-12-29	1	-62/+63
\|
*	Stdlib path is ignored when the configuration has_runtime_lib is set to false.	Bernhard Schommer	2014-12-15	1	-2/+7
\|
*	Removed unused variable and changed the search for the installation ↵	Bernhard Schommer	2014-12-04	1	-1/+1
\| \| \| \|	directory. Use Sys.executable_name instead of Sys.argv.(0).
*	Removed environment variable for the stdlib_path and added a new variable ↵	Bernhard Schommer	2014-10-06	1	-11/+15
\| \| \| \|	for the configuration file.
*	Change the way the tools like the linker, assembler, etc. are specified by ↵	Bernhard Schommer	2014-09-30	1	-0/+86
	including an .ini file parser. The .ini file is generated in the Makefile instead of the Configuration.ml file and parsed on start.