diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Configuration.ml | 2 | ||||
| -rw-r--r-- | driver/Configuration.mli | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/driver/Configuration.ml b/driver/Configuration.ml index 58583330..48f8abde 100644 --- a/driver/Configuration.ml +++ b/driver/Configuration.ml @@ -184,3 +184,5 @@ let response_file_style = | v -> bad_config "response_file_style" [v] let gnu_toolchain = system <> "diab" + +let elf_target = system <> "macosx" && system <> "cygwin" diff --git a/driver/Configuration.mli b/driver/Configuration.mli index f0bb8f83..b918c169 100644 --- a/driver/Configuration.mli +++ b/driver/Configuration.mli @@ -77,3 +77,6 @@ val response_file_style: response_file_style val gnu_toolchain: bool (** Does the targeted system use the gnu toolchain *) + +val elf_target: bool + (** Is the target binary format ELF? *) |