diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-05 15:55:28 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-11 10:46:14 +0200 |
commit | 3e9642c0f576725454d2b74f08bee5d3d5238526 (patch) | |
tree | 7fed84775e428125bba0b36cff43f8c1c8cab2a2 | |
parent | ac30e2cb5874be2f7e03e4cb3caff6fb527ce199 (diff) | |
download | ocaml-3e9642c0f576725454d2b74f08bee5d3d5238526.tar.gz |
Bump magic numbers before branching 5.1
-rwxr-xr-x | boot/ocamlc | bin | 3071019 -> 3048649 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 391861 -> 391861 bytes | |||
-rw-r--r-- | runtime/caml/exec.h | 2 | ||||
-rw-r--r-- | utils/config.common.ml | 26 |
4 files changed, 14 insertions, 14 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 1f66e11f41..34f254514c 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 951155baba..7fb898ad87 100755 --- a/boot/ocamllex +++ b/boot/ocamllex diff --git a/runtime/caml/exec.h b/runtime/caml/exec.h index 2fb024c9ae..6d5ed7d785 100644 --- 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 "Caml1999X032" +#define EXEC_MAGIC "Caml1999X033" #endif /* CAML_INTERNALS */ diff --git a/utils/config.common.ml b/utils/config.common.ml index 9707cd0fc3..9fa25b1dfa 100644 --- a/utils/config.common.ml +++ b/utils/config.common.ml @@ -28,26 +28,26 @@ let standard_library = with Not_found -> standard_library_default -let exec_magic_number = "Caml1999X032" +let exec_magic_number = "Caml1999X033" (* exec_magic_number is duplicated in runtime/caml/exec.h *) -and cmi_magic_number = "Caml1999I032" -and cmo_magic_number = "Caml1999O032" -and cma_magic_number = "Caml1999A032" +and cmi_magic_number = "Caml1999I033" +and cmo_magic_number = "Caml1999O033" +and cma_magic_number = "Caml1999A033" and cmx_magic_number = if flambda then - "Caml1999y032" + "Caml1999y033" else - "Caml1999Y032" + "Caml1999Y033" and cmxa_magic_number = if flambda then - "Caml1999z032" + "Caml1999z033" else - "Caml1999Z032" -and ast_impl_magic_number = "Caml1999M032" -and ast_intf_magic_number = "Caml1999N032" -and cmxs_magic_number = "Caml1999D032" -and cmt_magic_number = "Caml1999T032" -and linear_magic_number = "Caml1999L032" + "Caml1999Z033" +and ast_impl_magic_number = "Caml1999M033" +and ast_intf_magic_number = "Caml1999N033" +and cmxs_magic_number = "Caml1999D033" +and cmt_magic_number = "Caml1999T033" +and linear_magic_number = "Caml1999L033" let safe_string = true let default_safe_string = true |