diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 13:35:48 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 13:35:48 +0100 |
commit | 5b05d3668571bd9b748b781b0cc29ae10f745f61 (patch) | |
tree | aa235b80ff0666c34332be46664ae289d8afaa2c /driver/Configuration.mli | |
parent | 272087e1bc62bead1d1e1bea3d64e12d013eea37 (diff) | |
download | compcert-kvx-5b05d3668571bd9b748b781b0cc29ae10f745f61.tar.gz compcert-kvx-5b05d3668571bd9b748b781b0cc29ae10f745f61.zip |
Code cleanup.
Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
Diffstat (limited to 'driver/Configuration.mli')
-rw-r--r-- | driver/Configuration.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/driver/Configuration.mli b/driver/Configuration.mli index 1d048ac4..abfd3ab4 100644 --- a/driver/Configuration.mli +++ b/driver/Configuration.mli @@ -12,27 +12,37 @@ val arch: string (** Target architecture *) + val model: string (** Sub-model for this architecture *) + val abi: string (** ABI to use *) + val system: string (** Flavor of operating system that runs CompCert *) val prepro: string list (** How to invoke the external preprocessor *) + val asm: string list (** How to invoke the external assembler *) + val linker: string list (** How to invoke the external linker *) + val asm_supports_cfi: bool (** True if the assembler supports Call Frame Information *) + val stdlib_path: string (** Path to CompCert's library *) + val has_runtime_lib: bool (** True if CompCert's library is available. *) + val has_standard_headers: bool (** True if CompCert's standard header files is available. *) + val advanced_debug: bool (** True if advanced debug is implement for the Target *) @@ -52,6 +62,7 @@ type struct_return_style = val struct_passing_style: struct_passing_style (** Calling conventions to use for passing structs and unions as first-class values *) + val struct_return_style: struct_return_style (** Calling conventions to use for returning structs and unions as first-class values *) |