blob: e6bac6e3809075e51f94492d819f0c5f7b4e364c (
plain)
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
|
(* *********************************************************************)
(* *)
(* The Compcert verified compiler *)
(* *)
(* Xavier Leroy, INRIA Paris-Rocquencourt *)
(* Bernhard Schommer, AbsInt Angewandte Informatik GmbH *)
(* *)
(* 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. *)
(* *)
(* *********************************************************************)
val command: ?stdout:string -> string list -> int
(** Execute the command with the given arguments and an optional file for
the stdout. Returns the exit code. *)
val command_error: string -> int -> unit
(** Generate an error message for the given command and exit code *)
val safe_remove: string -> unit
(** Remove the given file if it exists *)
val output_filename: ?final:bool -> string -> string -> string -> string
(** Determine names for output files. We use -o option if specified
and if this is the final destination file (not a dump file).
Otherwise, we generate a file in the current directory. *)
val output_filename_default: string -> string
(** Return either the file specified by -o or the given file name *)
val ensure_inputfile_exists: string -> unit
(** Test whether the given input file exists *)
val print_error:out_channel -> Errors.errcode list -> unit
(** Printing of error messages *)
val gnu_system: bool
(** Are the target tools gnu tools? *)
val explode_comma_option: string -> string list
(** Split option at commas *)
val push_action: (string -> string) -> string -> unit
(** Add an action to be performed after parsing the command line *)
val push_linker_arg: string -> unit
(** Add a linker arguments *)
val perform_actions: unit -> string list
(** Perform actions *)
|