ocaml

Author	SHA1	Message	Date
Damien Doligez	5401ce8473	Update headers for the new license. Remains to be done: remove all headers in testsuite/tests.	2016-02-18 16:59:16 +01:00
Damien Doligez	ee8f71101b	clean up whitespace and cut long lines	2016-02-17 13:36:27 +01:00
Xavier Leroy	be4381dddf	When copying the new compilers to boot/, also strip the #! header. It is not needed and can cause spurious merge conflicts.	2015-12-09 11:14:23 +01:00
Xavier Leroy	2810763764	Strip debugging information off the bootstrap compilers, to reduce their size The stripping is done during bootstrap, when copying the new ocamlc, ocamllex and ocamldep to boot/. The new "stripdebug" tool performs this task. As a consequence, comparing the new compilers with the boot/ compilers at the end of bootstrap is more complicated, since the debug section must be ignored. A new tool, "cmpbyt" in tools/, performs this comparison.	2015-12-09 10:45:31 +01:00