diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-06-18 08:30:47 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-06-18 08:30:47 +0000 |
| commit | f59df29db43b6befe1a9f8248691c55f369402cf (patch) | |
| tree | f854841a1943f59f85fef9e4490556632c94ad69 | |
| parent | ba38d00535baae1a71f1f2aee83ef48fd5024220 (diff) | |
Update magic numbers and bootstrap. (Cherry-picked from c13780 on 4.01.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | boot/ocamlc | bin | 1396942 -> 1398475 bytes | |||
| -rwxr-xr-x | boot/ocamldep | bin | 361064 -> 361684 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 176092 -> 176557 bytes | |||
| -rw-r--r-- | utils/config.mlbuild | 8 | ||||
| -rw-r--r-- | utils/config.mlp | 8 |
5 files changed, 8 insertions, 8 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 0f2fdb840..10078f78c 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 35dc0a465..aeee2dabf 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 746885c25..9a8518a59 100755 --- a/boot/ocamllex +++ b/boot/ocamllex diff --git a/utils/config.mlbuild b/utils/config.mlbuild index 105204de9..b8debe8d1 100644 --- a/utils/config.mlbuild +++ b/utils/config.mlbuild @@ -60,15 +60,15 @@ let mkexe = C.mkexe let mkmaindll = C.mkmaindll let exec_magic_number = "Caml1999X008" -and cmi_magic_number = "Caml1999I014" +and cmi_magic_number = "Caml1999I015" and cmo_magic_number = "Caml1999O007" and cma_magic_number = "Caml1999A008" and cmx_magic_number = "Caml1999Y011" and cmxa_magic_number = "Caml1999Z010" -and ast_impl_magic_number = "Caml1999M015" -and ast_intf_magic_number = "Caml1999N014" +and ast_impl_magic_number = "Caml1999M016" +and ast_intf_magic_number = "Caml1999N015" and cmxs_magic_number = "Caml2007D001" -and cmt_magic_number = "Caml2012T001" +and cmt_magic_number = "Caml2012T002" let load_path = ref ([] : string list) diff --git a/utils/config.mlp b/utils/config.mlp index f555ef581..9affafe52 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -49,15 +49,15 @@ let mkexe = "%%MKEXE%%" let mkmaindll = "%%MKMAINDLL%%" let exec_magic_number = "Caml1999X008" -and cmi_magic_number = "Caml1999I014" +and cmi_magic_number = "Caml1999I015" and cmo_magic_number = "Caml1999O007" and cma_magic_number = "Caml1999A008" and cmx_magic_number = "Caml1999Y011" and cmxa_magic_number = "Caml1999Z010" -and ast_impl_magic_number = "Caml1999M015" -and ast_intf_magic_number = "Caml1999N014" +and ast_impl_magic_number = "Caml1999M016" +and ast_intf_magic_number = "Caml1999N015" and cmxs_magic_number = "Caml2007D001" -and cmt_magic_number = "Caml2012T001" +and cmt_magic_number = "Caml2012T002" let load_path = ref ([] : string list) |