3 let show_cocci = ref false
6 let show_diff = ref true
8 (* the derived inputs *)
9 let show_flow = ref false
10 let show_before_fixed_flow = ref false
12 let show_ctl_tex = ref false
13 let show_ctl_text = ref false
15 let inline_let_ctl = ref false
16 let show_mcodekind_in_ctl = ref false
18 (* the "underived" outputs *)
19 let show_binding_in_out = ref false
20 let show_dependencies = ref false
22 let verbose_cocci = ref true
24 let windows = ref false
28 let ifdef_to_if = ref true(*false*)
30 type include_options
=
31 I_UNSPECIFIED
| I_NO_INCLUDES
| I_NORMAL_INCLUDES
| I_ALL_INCLUDES
32 let include_options = ref I_UNSPECIFIED
34 let include_path = ref (None
: string option)
35 (* if true then when have a #include "../../xx.h", we look also for xx.h in
36 * current directory. This is because of how works extract_c_and_res
39 let relax_include_path = ref false
41 let timeout = ref (None
: int option)
43 let worth_trying_opt = ref true