diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-09 10:45:31 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-09 10:45:31 +0100 |
| commit | 281076376423eccea65a11973f0eef0e60c55fbb (patch) | |
| tree | a2895fbd202b67fc3a98fb885ab8d5ae5b1725db /boot | |
| parent | 9d4b3a4513cf75119a339393b060b05b24b1e92b (diff) | |
| download | ocaml-281076376423eccea65a11973f0eef0e60c55fbb.tar.gz | |
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.
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 9740276 -> 1918776 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 586674 -> 589136 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 262605 -> 263346 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 46d779c4a3..050f760b4d 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex c6c2da2749..701c67a00d 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 611a24351f..17b05575e3 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |