diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-08-18 13:28:34 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-08-18 13:28:34 +0000 |
| commit | d02c8fbc55a75ff9dedc782350caf06574b7c72e (patch) | |
| tree | 32cc612f7970cbae06694ea53723b09ff2594f38 /tools | |
| parent | a0bdce52f5f2629cfa894b69a522fa16f4bb079b (diff) | |
| download | ocaml-d02c8fbc55a75ff9dedc782350caf06574b7c72e.tar.gz | |
new -opaque flag: ocamlopt creates .cmx without cross-module info
(Patch by Pierre Chambart and Gabriel Scherer)
(Ack'ed by Damien Doligez)
This enables a form of incremental compilation for ocamlopt: if
A depends on B, and B is compiled with `ocamlopt -opaque`, then minor
implementation changes in B that do not affect the module interface
will not require recompilation of A.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ocamloptp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamloptp.ml b/tools/ocamloptp.ml index 178f7c2d25..4e299c96eb 100644 --- a/tools/ocamloptp.ml +++ b/tools/ocamloptp.ml @@ -120,6 +120,7 @@ module Options = Main_args.Make_optcomp_options (struct let _dscheduling = option "-dscheduling" let _dlinear = option "-dlinear" let _dstartup = option "-dstartup" + let _opaque = option "-opaque" let anonymous = process_file end);; |