Revised parsing of command-line arguments (in preparation for adding more).

Honor "ccomp -E foo.h" for GCC compatibility.
Accept .o.ext files as object files for GCC compatibility.
Fixed and improved handling of Cminor source files.

1 files changed, 41 insertions, 0 deletions

diff --git a/driver/Commandline.mli b/driver/Commandline.mli
new file mode 100644
index 00000000..7a18905f
--- /dev/null
+++ b/driver/Commandline.mli
@@ -0,0 +1,41 @@
+(* *********************************************************************)
+(*                                                                     *)
+(*              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 GNU General Public License as published by  *)
+(*  the Free Software Foundation, either version 2 of the License, or  *)
+(*  (at your option) any later version.  This file is also distributed *)
+(*  under the terms of the INRIA Non-Commercial License Agreement.     *)
+(*                                                                     *)
+(* *********************************************************************)
+
+(* Parsing of command-line flags and arguments *)
+
+(* A command-line specification is a list of pairs (pattern, action).
+   Command-line words are matched against the patterns, and the
+   corresponding actions are invoked. *)
+
+type pattern =
+  | Exact of string             (** exactly this string *)
+  | Prefix of string            (** any string starting with this prefix *)
+  | Suffix of string            (** any string ending with this suffix *)
+  | Regexp of Str.regexp        (** any string matching this anchored regexp *)
+
+val _Regexp: string -> pattern  (** text of an [Str] regexp *)
+
+type action =
+  | Set of bool ref             (** set the given ref to true *)
+  | Unset of bool ref           (** set the given ref to false *)
+  | Self of (string -> unit)    (** call the function with the matched string *)
+  | String of (string -> unit)  (** read next arg as a string, call function *)
+  | Integer of (int -> unit)    (** read next arg as an int, call function *)
+
+val parse_cmdline:
+  (pattern * action) list -> string (* usage string *) -> unit
+
+(* Note on precedence: [Exact] patterns are tried first, then the other
+   patterns are tried in the order in which they appear in the list. *)