From c2fb6820d6589c433f9744d82533dd6feae469b4 Mon Sep 17 00:00:00 2001 From: xclerc Date: Mon, 26 Jul 2021 18:17:29 +0100 Subject: [PATCH] Magic numbers for cmx and cmxa files. --- ocaml/utils/config.mlp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/ocaml/utils/config.mlp b/ocaml/utils/config.mlp index c144198d1f6..68f04e17988 100644 --- a/ocaml/utils/config.mlp +++ b/ocaml/utils/config.mlp @@ -96,15 +96,15 @@ and cmi_magic_number = "Caml1999I029" and cmo_magic_number = "Caml1999O029" and cma_magic_number = "Caml1999A029" and cmx_magic_number = - if flambda then - "Caml1999y029" + if flambda || flambda2 then + "Caml2021y029" else - "Caml1999Y029" + "Caml2021Y029" and cmxa_magic_number = - if flambda then - "Caml1999z029" + if flambda || flambda2 then + "Caml2021z029" else - "Caml1999Z029" + "Caml2021Z029" and ast_impl_magic_number = "Caml1999M029" and ast_intf_magic_number = "Caml1999N029" and cmxs_magic_number = "Caml1999D029"