Commit | Line | Data |
---|---|---|
34e49164 C |
1 | (* the inputs *) |
2 | let show_c = ref false | |
3 | let show_cocci = ref false | |
4 | ||
5 | (* the output *) | |
6 | let show_diff = ref true | |
7 | ||
8 | (* the derived inputs *) | |
9 | let show_flow = ref false | |
10 | let show_before_fixed_flow = ref false | |
11 | ||
faf9a90c C |
12 | let show_ctl_tex = ref false |
13 | let show_ctl_text = ref false | |
34e49164 C |
14 | |
15 | let inline_let_ctl = ref false | |
16 | let show_mcodekind_in_ctl = ref false | |
17 | ||
18 | (* the "underived" outputs *) | |
34e49164 | 19 | let show_binding_in_out = ref false |
faf9a90c | 20 | let show_dependencies = ref false |
34e49164 | 21 | |
708f4980 C |
22 | let verbose_cocci = ref true |
23 | ||
34e49164 C |
24 | let windows = ref false |
25 | ||
26 | let popl = ref false | |
27 | ||
708f4980 | 28 | let ifdef_to_if = ref true(*false*) |
485bce71 | 29 | |
faf9a90c C |
30 | type include_options = |
31 | I_UNSPECIFIED | I_NO_INCLUDES | I_NORMAL_INCLUDES | I_ALL_INCLUDES | |
32 | let include_options = ref I_UNSPECIFIED | |
33 | ||
b1b2de81 | 34 | let include_path = ref (None : string option) |
34e49164 C |
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 | |
37 | *) | |
38 | ||
34e49164 C |
39 | let relax_include_path = ref false |
40 | ||
41 | let timeout = ref (None : int option) | |
42 | ||
43 | let worth_trying_opt = ref true |