diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 3 | ||||
| -rw-r--r-- | utils/config.mli | 2 | ||||
| -rw-r--r-- | utils/config.mlp | 2 |
3 files changed, 6 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index dd914cdbb9..bdb9feb713 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -99,4 +99,5 @@ let std_include_dir () = let shared = ref false (* -shared *) let dlcode = ref true (* not -nodynlink *) -let runtime_variant = ref "";; (* -runtime-variant *) +let runtime_variant = ref "";; (* -runtime-variant *) + diff --git a/utils/config.mli b/utils/config.mli index 7829b9ee17..d8c02006b9 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -101,6 +101,8 @@ val asm: string val asm_cfi_supported: bool (* Whether assembler understands CFI directives *) +val with_frame_pointers : bool + (* Whether assembler should maintain frame pointers *) val ext_obj: string (* Extension for object files, e.g. [.o] under Unix. *) diff --git a/utils/config.mlp b/utils/config.mlp index 4f3a40512a..6f6fe40c8e 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -78,6 +78,7 @@ let system = "%%SYSTEM%%" let asm = "%%ASM%%" let asm_cfi_supported = %%ASM_CFI_SUPPORTED%% +let with_frame_pointers = %%WITH_FRAME_POINTERS%% let ext_obj = "%%EXT_OBJ%%" let ext_asm = "%%EXT_ASM%%" @@ -112,6 +113,7 @@ let print_config oc = p "system" system; p "asm" asm; p_bool "asm_cfi_supported" asm_cfi_supported; + p_bool "with_frame_pointers" with_frame_pointers; p "ext_obj" ext_obj; p "ext_asm" ext_asm; p "ext_lib" ext_lib; |