compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-20	1	-2/+6
\|\
\| *	Replaced 8 spaces by tabs.	Bernhard Schommer	2015-01-16	1	-1/+1
\| \|
\| *	Added new target to just remove the cm[iox] files and the build executables.	Bernhard Schommer	2015-01-16	1	-0/+4
\| \|
\| *	Added variable to the Makefile to specify additional linker commands and ↵	Bernhard Schommer	2015-01-15	1	-2/+2
\| \| \| \| \| \| \| \|	changed the configure script to deactivated the checklink build if needed.
* \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-12	1	-1/+1
\|/ \| \| \| \|	Conflicts: powerpc/PrintAsm.ml
*	Minor bug fixes in configure and Makefile.extr	Xavier Leroy	2014-12-17	1	-2/+3
\|
*	Use OCaml's .opt compilers when available.	Xavier Leroy	2014-12-17	1	-16/+49
\| \| \| \|	Cleanups in configure.
*	Replace ocamlbuild by a second-stage makefile to compile the OCaml code and ↵	Xavier Leroy	2014-11-22	1	-0/+134
	produce the executables. configure: add check for GNU make.