clightFlags.ml

   1 (* *********************************************************************)
   2 (*                                                                     *)
   3 (*              The Compcert verified compiler                         *)
   4 (*                                                                     *)
   5 (*          Xavier Leroy, INRIA Paris-Rocquencourt                     *)
   6 (*                                                                     *)
   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.     *)
  10 (*                                                                     *)
  11 (* *********************************************************************)
  12
  13 (* Command-line flags *)
  14
  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