diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-26 14:57:29 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-26 16:07:07 +0100 |
| commit | c06f7dbf61a926bc7e85ba5cc7dff58215134753 (patch) | |
| tree | 4b96f2e0fb074853923a70ca190ed0b51e49de8f | |
| parent | 6f08036408b7440a27ed7a52b259b0d74f00af12 (diff) | |
| download | ocaml-c06f7dbf61a926bc7e85ba5cc7dff58215134753.tar.gz | |
Add `compression_supported` to the configuration variables of the compilers
That is, those variables printed by `ocamlc -config` or `ocamlc -config-var`.
| -rw-r--r-- | utils/config.common.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/config.common.ml b/utils/config.common.ml index 643730b42f..9707cd0fc3 100644 --- a/utils/config.common.ml +++ b/utils/config.common.ml @@ -122,6 +122,7 @@ let configuration_variables () = p_bool "supports_shared_libraries" supports_shared_libraries; p_bool "native_dynlink" native_dynlink; p_bool "naked_pointers" naked_pointers; + p_bool "compression_supported" (Marshal.compression_supported()); p "exec_magic_number" exec_magic_number; p "cmi_magic_number" cmi_magic_number; |