diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-13 15:39:07 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-13 15:39:07 +0100 |
commit | 5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb (patch) | |
tree | 13266f8767648ee5433f30b16ec503144c67d003 /driver/Assembler.ml | |
parent | 236d8a48288ea5845466408cf9d0be2ccd68f9a8 (diff) | |
download | compcert-5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb.tar.gz compcert-5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb.zip |
Introduced configuration variable for gnu systems.
The variable gnu_toolchain is true if a gnu toolchain is used and
false in all other cases. The variable avoids the explicit test
whether the system string is diab and should be easier to change.
Bug 20521.
Diffstat (limited to 'driver/Assembler.ml')
-rw-r--r-- | driver/Assembler.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Assembler.ml b/driver/Assembler.ml index 1d91ef50..ba9351ca 100644 --- a/driver/Assembler.ml +++ b/driver/Assembler.ml @@ -32,11 +32,11 @@ let assemble ifile ofile = end let assembler_actions = - [ Prefix "-Wa,", Self (fun s -> if gnu_system then + [ Prefix "-Wa,", Self (fun s -> if Configuration.gnu_toolchain then assembler_options := s :: !assembler_options else assembler_options := List.rev_append (explode_comma_option s) !assembler_options); - Exact "-Xassembler", String (fun s -> if gnu_system then + Exact "-Xassembler", String (fun s -> if Configuration.gnu_toolchain then assembler_options := s::"-Xassembler":: !assembler_options else assembler_options := s::!assembler_options );] |