diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Clflags.ml | 1 | ||||
| -rw-r--r-- | driver/Driver.ml | 6 |
2 files changed, 2 insertions, 5 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 619be1e..ea8e884 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -15,7 +15,6 @@ let prepro_options = ref ([]: string list) let linker_options = ref ([]: string list) let assembler_options = ref ([]: string list) -let option_flonglong = ref true let option_flongdouble = ref false let option_fstruct_return = ref false let option_fbitfields = ref false diff --git a/driver/Driver.ml b/driver/Driver.ml index eb0e004..e029aa2 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -379,7 +379,6 @@ Preprocessing options: -Wp,<opt> Pass option <opt> to the preprocessor Language support options (use -fno-<opt> to turn off -f<opt>) : -fbitfields Emulate bit fields in structs [off] - -flonglong Partial emulation of 'long long' types [on] -flongdouble Treat 'long double' as 'double' [off] -fstruct-return Emulate returning structs and unions by value [off] -fvararg-calls Emulate calls to variable-argument functions [on] @@ -416,7 +415,7 @@ Linking options: -L<dir> Add <dir> to search path for libraries -Wl,<opt> Pass option <opt> to the linker General options: - -stdlib <dir> Set the path of the Compcert run-time library [MacOS X only] + -stdlib <dir> Set the path of the Compcert run-time library -v Print external commands before invoking them Interpreter mode: -interp Execute given .c files using the reference interpreter @@ -427,7 +426,7 @@ Interpreter mode: " let language_support_options = [ - option_fbitfields; option_flonglong; option_flongdouble; + option_fbitfields; option_flongdouble; option_fstruct_return; option_fvararg_calls; option_fpacked_structs; option_finline_asm ] @@ -497,7 +496,6 @@ let cmdline_actions = "-fnone$", Self (fun _ -> List.iter (fun r -> r := false) language_support_options); ] - @ f_opt "longlong" option_flonglong @ f_opt "longdouble" option_flongdouble @ f_opt "struct-return" option_fstruct_return @ f_opt "bitfields" option_fbitfields |