diff options
| -rw-r--r-- | utils/clflags.ml | 13 | ||||
| -rw-r--r-- | utils/config.mli | 4 | ||||
| -rw-r--r-- | utils/config.mlp | 4 |
3 files changed, 19 insertions, 2 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 77d390935..477e16196 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -18,4 +18,15 @@ and nopervasives = ref false (* -nopervasives *) let dump_lambda = ref false (* -dlambda *) and dump_instr = ref false (* -dinstr *) -let write_lambda = ref false (* -wlambda *) +let assembler_only = ref false (* -S *) + +and dump_cmm = ref false (* -dcmm *) +let dump_selection = ref false (* -dsel *) +let dump_live = ref false (* -dlive *) +let dump_spill = ref false (* -dspill *) +let dump_split = ref false (* -dsplit *) +let dump_interf = ref false (* -dinterf *) +let dump_prefer = ref false (* -dprefer *) +let dump_regalloc = ref false (* -dalloc *) +let dump_reload = ref false (* -dreload *) +let dump_linear = ref false (* -dlinear *) diff --git a/utils/config.mli b/utils/config.mli index 483de0b51..168e10014 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -21,6 +21,10 @@ val cmo_magic_number: string (* Magic number for object bytecode files *) val cma_magic_number: string (* Magic number for archive files *) +val cmx_magic_number: string + (* Magic number for compilation unit descriptions *) +val cmxa_magic_number: string + (* Magic number for libraries of compilation unit descriptions *) val max_tag: int (* Biggest tag that can be stored in the header of a block. *) diff --git a/utils/config.mlp b/utils/config.mlp index 74ed54992..3b9389e01 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -4,12 +4,14 @@ let c_compiler = "%%CC%%" let c_libraries = "%%CCLIBS%%" -let version = "1.03" +let version = "1.05" let exec_magic_number = "Caml1999X001" and cmi_magic_number = "Caml1999I001" and cmo_magic_number = "Caml1999O001" and cma_magic_number = "Caml1999A001" +and cmx_magic_number = "Caml1999X001" +and cmxa_magic_number = "Caml1999Z001" let load_path = ref ([] : string list) |