compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add -la 1 to Menhir's invocation, to see statistics and warnings.	François Pottier	2015-10-07	1	-1/+1
\|
*	Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.	François Pottier	2015-10-07	1	-1/+1
\| \| \| \| \| \| \|	Passing --no-stdlib ensures that there is no dependency on Menhir's standard library. Passing -v, which is equivalent to --explain --dump, requests the generation of pre_parser.automaton, a description of the automaton.
*	Erase incomplete file .depend.extr if "make depend" fails.	Xavier Leroy	2015-08-21	1	-3/+2
\|
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-10	1	-13/+12
\|\
\| *	Removed unused target cleansource.	Bernhard Schommer	2015-03-05	1	-4/+0
\| \|
\| *	Removed leftover references to recdepend.	Xavier Leroy	2015-02-28	1	-6/+5
\| \|
\| *	Removed the recdepend again and replaced it by a builtin Make function.	Bernhard Schommer	2015-02-27	1	-8/+6
\| \|
\| *	Updated the recdepend tool to avoid printing of ./ at the begining and ↵	Bernhard Schommer	2015-02-25	1	-2/+4
\| \| \| \| \| \| \| \|	printing duplicated -I flags.
\| *	Added a small ocamlfile that calls ocamlfind recursivly over a given directory.	Bernhard Schommer	2015-02-24	1	-5/+7
\| \|
\| *	Removed the Unix from the libraries for cchecklink.	Bernhard Schommer	2015-02-20	1	-2/+3
\| \|
\| *	Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windows	Bernhard Schommer	2015-02-19	1	-2/+3
\| \|\
\| \| *	Merge branch 'master' into no-shell	Bernhard Schommer	2015-02-19	1	-2/+6
\| \| \|\
\| \| * \|	Use Unix.create_process instead of Sys.command (continued).	Xavier Leroy	2014-12-29	1	-2/+3
\| \| \| \|
\| * \| \|	Removed the linker flag again.	Bernhard Schommer	2015-01-20	1	-2/+2
\| \| \|/ \| \|/\|
* \| \|	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.