flambda-backend: Respect the configure setting of no-naked-pointers (#…

…2047)
ocaml-flambda · Nov 17, 2023 · 9a94e8f · 9a94e8f
1 parent 454ef16
commit 9a94e8f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/utils/config.common.ml b/utils/config.common.ml
@@ -56,7 +56,6 @@ and cfg_magic_number = "Caml2021G520"
 
 let safe_string = true
 let default_safe_string = true
-let naked_pointers = false
 let flambda_backend = true
 
 let interface_suffix = ref ".mli"

diff --git a/utils/config.fixed.ml b/utils/config.fixed.ml
@@ -77,3 +77,5 @@ let ar_supports_response_files = true
 
 (* mshinwell: at present always use runtime4 for bootstrap *)
 let runtime5 = false
+(* This setting is only for bootstrap, does not affect dune-built compilers: *)
+let naked_pointers = false
diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in
@@ -116,4 +116,5 @@ let flexdll_dirs = [@flexdll_dir@]
 
 let ar_supports_response_files = @ar_supports_response_files@
 
-let runtime5 = "@enable_runtime5@" = "yes"
+let naked_pointers = "@naked_pointers@" = "true"
+let runtime5 = "@enable_runtime5@" = "yes"