configure: add a NAKED_POINTERS parameter to Makefile.config

We have NAKED_POINTERS=false if configured with --disable-naked-pointers,
NAKED_POINTERS=true otherwise.

Makefile.config.in

@@ -247,7 +247,7 @@ FLAT_FLOAT_ARRAY=@flat_float_array@
 FUNCTION_SECTIONS=@function_sections@
 AWK=@AWK@
 STDLIB_MANPAGES=@stdlib_manpages@
-
+NAKED_POINTERS=@naked_pointers@
 
 ### Native command to build ocamlrun.exe
 

configure

@@ -749,6 +749,7 @@ build_os
 build_vendor
 build_cpu
 build
+naked_pointers
 compute_deps
 stdlib_manpages
 PACKLD
@@ -2905,6 +2906,7 @@ VERSION=4.12.0+dev0-2020-04-22
 
 
 
+
 
 
 ## Generated files
@@ -16863,8 +16865,11 @@ fi
 ## No naked pointers
 
 if test x"$enable_naked_pointers" = "xno" ; then :
-  $as_echo "#define NO_NAKED_POINTERS 1" >>confdefs.h
+  naked_pointers=false
+   $as_echo "#define NO_NAKED_POINTERS 1" >>confdefs.h
 
+else
+  naked_pointers=true
 fi
 
 ## Check for mmap support for huge pages and contiguous heap

configure.ac

@@ -168,6 +168,7 @@ AC_SUBST([flexlink_flags])
 AC_SUBST([PACKLD])
 AC_SUBST([stdlib_manpages])
 AC_SUBST([compute_deps])
+AC_SUBST([naked_pointers])
 
 ## Generated files
 
@@ -1743,7 +1744,9 @@ AS_IF([test x"$enable_frame_pointers" = "xyes"],
 ## No naked pointers
 
 AS_IF([test x"$enable_naked_pointers" = "xno" ],
-  [AC_DEFINE([NO_NAKED_POINTERS])])
+  [naked_pointers=false
+   AC_DEFINE([NO_NAKED_POINTERS])],
+  [naked_pointers=true])
 
 ## Check for mmap support for huge pages and contiguous heap
 OCAML_MMAP_SUPPORTS_HUGE_PAGES