diff options
| author | Sébastien Hinderer <seb@tarides.com> | 2022-12-15 17:08:23 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <seb@tarides.com> | 2022-12-20 15:10:34 +0100 |
| commit | 9d5f08d1bbe48c66aa480c3b10aaaf9e9d683d88 (patch) | |
| tree | 930eb7a911c4516d30b5329c21c9a74d65d7c599 /utils | |
| parent | e6340ced8ca1d46f11eaea8e0474d1eb2142fe1c (diff) | |
| download | ocaml-9d5f08d1bbe48c66aa480c3b10aaaf9e9d683d88.tar.gz | |
Export the natdynlink compiler configuration variable as native_dynlink
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/config.common.ml | 1 | ||||
| -rw-r--r-- | utils/config.fixed.ml | 1 | ||||
| -rw-r--r-- | utils/config.generated.ml.in | 1 | ||||
| -rw-r--r-- | utils/config.mli | 5 |
4 files changed, 8 insertions, 0 deletions
diff --git a/utils/config.common.ml b/utils/config.common.ml index b54bf1941b..ce0be88df7 100644 --- a/utils/config.common.ml +++ b/utils/config.common.ml @@ -119,6 +119,7 @@ let configuration_variables = p_bool "afl_instrument" afl_instrument; p_bool "windows_unicode" windows_unicode; p_bool "supports_shared_libraries" supports_shared_libraries; + p_bool "native_dynlink" native_dynlink; p_bool "naked_pointers" naked_pointers; p "exec_magic_number" exec_magic_number; diff --git a/utils/config.fixed.ml b/utils/config.fixed.ml index e29c94cfe1..6cff2f1212 100644 --- a/utils/config.fixed.ml +++ b/utils/config.fixed.ml @@ -40,6 +40,7 @@ let default_rpath = "" let mksharedlibrpath = "" let ar = boot_cannot_call "ar" let supports_shared_libraries = false +let native_dynlink = false let mkdll = native_pack_linker let mkexe = native_pack_linker let mkmaindll = native_pack_linker diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in index 3808089004..ebd37dbe59 100644 --- a/utils/config.generated.ml.in +++ b/utils/config.generated.ml.in @@ -50,6 +50,7 @@ let default_rpath = {@QS@|@rpath@|@QS@} let mksharedlibrpath = {@QS@|@mksharedlibrpath@|@QS@} let ar = {@QS@|@AR@|@QS@} let supports_shared_libraries = @supports_shared_libraries@ +let native_dynlink = @natdynlink@ let mkdll, mkexe, mkmaindll = if Sys.win32 || Sys.cygwin && supports_shared_libraries then let flexlink = diff --git a/utils/config.mli b/utils/config.mli index fb0d733509..c1db63687a 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -239,6 +239,11 @@ val supports_shared_libraries: bool @since 4.08 *) +val native_dynlink: bool +(** Whether native shared libraries are supported + + @since 5.1 *) + val afl_instrument : bool (** Whether afl-fuzz instrumentation is generated by default *) |