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/Frontend.ml | |
parent | 236d8a48288ea5845466408cf9d0be2ccd68f9a8 (diff) | |
download | compcert-kvx-5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb.tar.gz compcert-kvx-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/Frontend.ml')
-rw-r--r-- | driver/Frontend.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Frontend.ml b/driver/Frontend.ml index 41ca3bb8..b4b161b0 100644 --- a/driver/Frontend.ml +++ b/driver/Frontend.ml @@ -125,7 +125,7 @@ let prepro_actions = [ Exact "-Xpreprocessor", String (fun s -> prepro_options := s :: !prepro_options); Exact "-include", String (fun s -> prepro_options := s :: "-include" :: !prepro_options);] - @ (if gnu_system then gnu_prepro_actions else []) + @ (if Configuration.gnu_toolchain then gnu_prepro_actions else []) let gnu_prepro_help = {| -M Ouput a rule suitable for make describing the @@ -163,4 +163,4 @@ let prepro_help = {|Preprocessing options: -Wp,<opt> Pass option <opt> to the preprocessor -Xpreprocessor <opt> Pass option <opt> to the preprocessor |} - ^ (if gnu_system then gnu_prepro_help else "") + ^ (if Configuration.gnu_toolchain then gnu_prepro_help else "") |