From 4cba1ad5467e11d4399dfd0c9056f6e3756037b0 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Mon, 6 Nov 2023 11:13:10 -0500 Subject: [PATCH] Update magic numbers for 4.14.1-24 --- src/ocaml/typing/magic_numbers.ml | 1 + src/ocaml/utils/config.ml | 22 +++++++++++----------- 2 files changed, 12 insertions(+), 11 deletions(-) diff --git a/src/ocaml/typing/magic_numbers.ml b/src/ocaml/typing/magic_numbers.ml index a3de6dabc..94626b75b 100644 --- a/src/ocaml/typing/magic_numbers.ml +++ b/src/ocaml/typing/magic_numbers.ml @@ -34,6 +34,7 @@ module Cmi = struct | "Caml1999I511" -> Some "4.14.1-18" | "Caml1999I512" -> Some "4.14.1-19" | "Caml1999I513" -> Some "4.14.1-22" + | "Caml1999I514" -> Some "4.14.1-24" | _ -> None open Format diff --git a/src/ocaml/utils/config.ml b/src/ocaml/utils/config.ml index 986e44f55..997a226ec 100644 --- a/src/ocaml/utils/config.ml +++ b/src/ocaml/utils/config.ml @@ -32,28 +32,28 @@ let version = Sys.ocaml_version let flambda = false -let exec_magic_number = "Caml1999X512" +let exec_magic_number = "Caml1999X513" (* exec_magic_number is duplicated in runtime/caml/exec.h *) and cmi_magic_number = (* When bumping this number, be sure to also update ../typing/magic_numbers.ml *) - "Caml1999I513" -and cmo_magic_number = "Caml1999O513" -and cma_magic_number = "Caml1999A513" + "Caml1999I514" +and cmo_magic_number = "Caml1999O514" +and cma_magic_number = "Caml1999A514" and cmx_magic_number = if flambda then - "Caml2021y515" + "Caml2021y516" else - "Caml2021Y515" + "Caml2021Y516" and cmxa_magic_number = if flambda then - "Caml2021z515" + "Caml2021z516" else - "Caml2021Z515" + "Caml2021Z516" and ast_impl_magic_number = "Caml1999M031" and ast_intf_magic_number = "Caml1999N031" -and cmxs_magic_number = "Caml1999D514" -and cmt_magic_number = "Caml1999T513" -and cms_magic_number = "Caml1999S511" +and cmxs_magic_number = "Caml1999D515" +and cmt_magic_number = "Caml1999T514" +and cms_magic_number = "Caml1999S512" let interface_suffix = ref ".mli"