1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
(* *********************************************************************)
(* *)
(* The Compcert verified compiler *)
(* *)
(* Xavier Leroy, INRIA Paris-Rocquencourt *)
(* *)
(* Copyright Institut National de Recherche en Informatique et en *)
(* Automatique. All rights reserved. This file is distributed *)
(* under the terms of the INRIA Non-Commercial License Agreement. *)
(* *)
(* *********************************************************************)
open Printf
open Clflags
open Commandline
(* The version string for [tool_name] *)
let version_string tool_name =
if Version.buildnr <> "" && Version.tag <> "" && Version.branch <> "" then
sprintf "The CompCert %s, Release: %s, Build: %s, Tag: %s, Branch: %s\n"
tool_name Version.version Version.buildnr Version.tag Version.branch
else
sprintf "The CompCert %s, version %s\n" tool_name Version.version
(* Print the version string and exit the program *)
let print_version_and_exit tool_name () =
printf "%s" (version_string tool_name); exit 0
let version_options tool_name =
[ Exact "-version", Unit (print_version_and_exit tool_name);
Exact "--version", Unit (print_version_and_exit tool_name) ]
(* Language support options *)
let all_language_support_options = [
option_flongdouble;
option_fstruct_passing; option_fvararg_calls; option_funprototyped;
option_fpacked_structs; option_finline_asm; option_funstructured_switch
]
let f_opt name ref =
[Exact("-f" ^ name), Set ref; Exact("-fno-" ^ name), Unset ref]
let set_all opts () = List.iter (fun r -> r := true) opts
let unset_all opts () = List.iter (fun r -> r := false) opts
let set_std s =
let s = String.lowercase_ascii s in
option_std := s;
match s with
| "c99" ->
Diagnostics.(activate_warning Celeven_extension ())
| "c11" | "c18" ->
Diagnostics.(deactivate_warning Celeven_extension ())
| _ ->
raise (CmdError (sprintf
"wrong -std option: unknown standard '%s'" s))
let language_support_options =
[ longopt "-std" set_std;
Exact "-fall", Unit (set_all all_language_support_options);
Exact "-fnone", Unit (unset_all all_language_support_options);
Exact "-fbitfields", Unit (fun () -> ()); ]
@ f_opt "longdouble" option_flongdouble
@ f_opt "struct-return" option_fstruct_passing
@ f_opt "struct-passing" option_fstruct_passing
@ f_opt "vararg-calls" option_fvararg_calls
@ f_opt "unprototyped" option_funprototyped
@ f_opt "unstructured-switch" option_funstructured_switch
@ f_opt "packed-structs" option_fpacked_structs
@ f_opt "inline-asm" option_finline_asm
let language_support_help =
{|Language support options (use -fno-<opt> to turn off -f<opt>) :
-std=c99 or -std=c11 or -std=c18
Choose the ISO C language standard used: C99, C11 or C18.
-flongdouble Treat 'long double' as 'double' [off]
-fstruct-passing Support passing structs and unions by value as function
results or function arguments [off]
-fstruct-return Like -fstruct-passing (deprecated)
-fvararg-calls Support calls to variable-argument functions [on]
-funprototyped Support calls to old-style functions without prototypes [on]
-funstructured-switch Support non-structured 'switch' statements [off]
-fpacked-structs Emulate packed structs [off]
-finline-asm Support inline 'asm' statements [off]
-fall Activate all language support options above
-fnone Turn off all language support options above
-fbitfields Ignored (bit fields are now implemented natively)
|}
(* General options *)
let general_help =
{|General options:
-stdlib <dir> Set the path of the Compcert run-time library
-v Print external commands before invoking them
-timings Show the time spent in various compiler passes
-version Print the version string and exit
-target <value> Generate code for the given target
-conf <file> Read configuration from file
@<file> Read command line options from <file>
|}
let general_options =
[ Exact "-conf", Ignore; (* Ignore option since it is already handled *)
Exact "-target", Ignore;(* Ignore option since it is already handled *)
Exact "-v", Set option_v;
Exact "-stdlib", String(fun s -> stdlib_path := s);
Exact "-timings", Set option_timings ]
|
