1 (* *********************************************************************)
3 (* The Compcert verified compiler *)
5 (* Xavier Leroy, INRIA Paris-Rocquencourt *)
7 (* Copyright Institut National de Recherche en Informatique et en *)
8 (* Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the INRIA Non-Commercial License Agreement. *)
11 (* *********************************************************************)
13 (* Command-line flags *)
15 let prepro_options = ref ([]: string list)
16 let linker_options = ref ([]: string list)
17 let exe_name = ref "a.out"
18 let option_flonglong = ref true
19 let option_fstruct_passing = ref false
20 let option_fstruct_assign = ref false
21 let option_fbitfields = ref false
22 let option_fvararg_calls = ref true
23 let option_fmadd = ref false
24 let option_dparse = ref false
25 let option_dclight = ref false
26 let option_dasm = ref false
27 let option_E = ref false
28 let option_S = ref false
29 let option_c = ref false
30 let option_v = ref false