diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:34:56 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:34:56 +0200 |
commit | 600803caeeaeae889f0b3020423402bf542f022b (patch) | |
tree | 6a3a0b0f3b28d760891d83ee18d094c206d228e1 | |
parent | 26ddb90280b45e92d90eead89edb237f2922824a (diff) | |
download | compcert-600803caeeaeae889f0b3020423402bf542f022b.tar.gz compcert-600803caeeaeae889f0b3020423402bf542f022b.zip |
Remove -version-file option
It is specific to AbsInt's commercial version of CompCert.
-rw-r--r-- | driver/CommonOptions.ml | 21 |
1 files changed, 2 insertions, 19 deletions
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml index cbc04a44..e8a6941c 100644 --- a/driver/CommonOptions.ml +++ b/driver/CommonOptions.ml @@ -25,26 +25,9 @@ let version_string tool_name = let print_version_and_exit tool_name () = Printf.printf "%s" (version_string tool_name); exit 0 -let version_file_string tool_name = - if Version.buildnr <> "" && Version.tag <> "" then - Printf.sprintf "This is CompCert %s\nVersion: %s\nBuild: %s\nTag: %s\nBranch: %s\n" - tool_name Version.version Version.buildnr Version.tag Version.branch - else - Printf.sprintf "The CompCert %s,\nversion %s\n" tool_name Version.version - -(* Print the version string to a file and exit the program *) -let print_version_file_and_exit tool_name file = - let oc = open_out_bin file in - output_string oc (version_file_string tool_name); - close_out_noerr oc; - 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); - Exact "-version-file", String (print_version_file_and_exit tool_name); - Exact "--version-file", String (print_version_file_and_exit tool_name); - ] + Exact "--version", Unit (print_version_and_exit tool_name) ] (* Language support options *) @@ -105,4 +88,4 @@ let general_options = 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;] + Exact "-timings", Set option_timings ] |