flambda-backend: Bump magic numbers for 4.14.1-16 (#1657)

ocaml-flambda · Jul 27, 2023 · 06a3bdc · 06a3bdc
1 parent 37c5ea0
commit 06a3bdc
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 14 deletions.
diff --git a/boot/ocamlc b/boot/ocamlc
diff --git a/boot/ocamllex b/boot/ocamllex
diff --git a/runtime/caml/exec.h b/runtime/caml/exec.h
@@ -60,7 +60,7 @@ struct exec_trailer {
 
 /* Magic number for this release */
 
-#define EXEC_MAGIC "Caml1999X508"
+#define EXEC_MAGIC "Caml1999X509"
 
 #endif /* CAML_INTERNALS */
 

diff --git a/utils/config.mlp b/utils/config.mlp
@@ -99,28 +99,28 @@ let poll_insertion = %%POLL_INSERTION%%
 (* When artifacts are incompatible with upstream OCaml, ocaml-jst uses
    magic numbers ending in 5xx. (The AST remains
    compatible, so use upstream numbers) *)
-let exec_magic_number = "Caml1999X508"
+let exec_magic_number = "Caml1999X509"
     (* exec_magic_number is duplicated in runtime/caml/exec.h *)
-and cmi_magic_number = "Caml1999I509"
-and cmo_magic_number = "Caml1999O509"
-and cma_magic_number = "Caml1999A509"
+and cmi_magic_number = "Caml1999I510"
+and cmo_magic_number = "Caml1999O510"
+and cma_magic_number = "Caml1999A510"
 and cmx_magic_number =
   if flambda || flambda2 then
-    "Caml2021y511"
+    "Caml2021y512"
   else
-    "Caml2021Y511"
+    "Caml2021Y512"
 and cmxa_magic_number =
   if flambda || flambda2 then
-    "Caml2021z511"
+    "Caml2021z512"
   else
-    "Caml2021Z511"
+    "Caml2021Z512"
 and ast_impl_magic_number = "Caml1999M031"
 and ast_intf_magic_number = "Caml1999N031"
-and cmxs_magic_number = "Caml1999D510"
-and cmt_magic_number = "Caml1999T509"
-and cms_magic_number = "Caml1999S507"
-and linear_magic_number = "Caml1999L509"
-and cfg_magic_number = "Caml2021G509"
+and cmxs_magic_number = "Caml1999D511"
+and cmt_magic_number = "Caml1999T510"
+and cms_magic_number = "Caml1999S508"
+and linear_magic_number = "Caml1999L510"
+and cfg_magic_number = "Caml2021G510"
 
 let interface_suffix = ref ".mli"