diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-06-15 11:57:23 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-06-15 11:57:23 +0000 |
| commit | d200d2ea4c061cfd97891ba3cdefac91e137f826 (patch) | |
| tree | 2c20bca4df395a9f4109b976835858a768f145d7 /toplevel | |
| parent | 5455e4e9d48c7e259af8fa85c5e4c3da4adebdc7 (diff) | |
| download | ocaml-d200d2ea4c061cfd97891ba3cdefac91e137f826.tar.gz | |
Nouveau format d'executable (ajustements pour le toplevel).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/expunge.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index 8f6a9d998f..d9b60bb4bc 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -41,9 +41,10 @@ let main () = done; let ic = open_in_bin input_name in let pos_trailer = - in_channel_length ic - 16 - String.length Config.exec_magic_number in + in_channel_length ic - 20 - String.length Config.exec_magic_number in seek_in ic pos_trailer; let code_size = input_binary_int ic in + let prim_size = input_binary_int ic in let data_size = input_binary_int ic in let symbol_size = input_binary_int ic in let debug_size = input_binary_int ic in @@ -70,6 +71,7 @@ let main () = let pos2 = pos_out oc in (* Rewrite the trailer *) output_binary_int oc code_size; + output_binary_int oc prim_size; output_binary_int oc data_size; output_binary_int oc (pos2 - pos1); output_binary_int oc 0; @@ -79,6 +81,3 @@ let main () = close_out oc let _ = Printexc.catch main (); exit 0 - - - |