diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 13:57:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 13:57:27 +0200 |
commit | 410a5db3d48e84f2157c2c4f4bc29056c0e174b9 (patch) | |
tree | 800974ebbe73921f27c0c563e56eb0c899efd7f5 /driver/Driveraux.mli | |
parent | 01354123b9df5d3cbb9d43298eea94ddda30acdf (diff) | |
download | compcert-410a5db3d48e84f2157c2c4f4bc29056c0e174b9.tar.gz compcert-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.mli | 13 |
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 *) |