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 /utils/clflags.ml | |
| parent | a0bdce52f5f2629cfa894b69a522fa16f4bb079b (diff) | |
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 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index f582a4655..e771fec5d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -71,6 +71,7 @@ and dump_instr = ref false (* -dinstr *) let keep_asm_file = ref false (* -S *) let optimize_for_speed = ref true (* -compact *) +and opaque = ref false (* -opaque *) and dump_cmm = ref false (* -dcmm *) let dump_selection = ref false (* -dsel *) @@ -86,7 +87,6 @@ let dump_scheduling = ref false (* -dscheduling *) let dump_linear = ref false (* -dlinear *) let keep_startup_file = ref false (* -dstartup *) let dump_combine = ref false (* -dcombine *) - let native_code = ref false (* set to true under ocamlopt *) let inline_threshold = ref 10 let force_slash = ref false (* for ocamldep *) |