aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driveraux.mli
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-06-24 13:57:27 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2016-06-24 13:57:27 +0200
commit410a5db3d48e84f2157c2c4f4bc29056c0e174b9 (patch)
tree800974ebbe73921f27c0c563e56eb0c899efd7f5 /driver/Driveraux.mli
parent01354123b9df5d3cbb9d43298eea94ddda30acdf (diff)
downloadcompcert-kvx-410a5db3d48e84f2157c2c4f4bc29056c0e174b9.tar.gz
compcert-kvx-410a5db3d48e84f2157c2c4f4bc29056c0e174b9.zip
Moved assembler and linker into own files.
The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
Diffstat (limited to 'driver/Driveraux.mli')
-rw-r--r--driver/Driveraux.mli13
1 files changed, 11 insertions, 2 deletions
diff --git a/driver/Driveraux.mli b/driver/Driveraux.mli
index 1cb219a1..60efcc80 100644
--- a/driver/Driveraux.mli
+++ b/driver/Driveraux.mli
@@ -36,8 +36,17 @@ val ensure_inputfile_exists: string -> unit
val print_error:out_channel -> Errors.errcode list -> unit
(** Printing of error messages *)
-val gnu_option: string -> bool
- (** Set the options for gnu systems *)
+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 *)