diff options
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 4613241fcf..a2ee15a820 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -425,3 +425,13 @@ let to_memory init_code fun_code = and code_size = !out_position in init(); (code, code_size, reloc) + +(* Emission to a file for a packed library *) + +let to_packed_file outchan code = + init(); + emit code; + output outchan !out_buffer 0 !out_position; + let reloc = !reloc_info in + init(); + reloc |