diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-09 09:12:28 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-09 09:12:28 +0000 |
commit | c7b7c24381651908c14ce4540f61998fd96c6e55 (patch) | |
tree | e2c770c9f31f32e59d64bc9afc6537d4b748b0de /bytecomp/emitcode.mli | |
parent | 4aeb255c2d7b0735c13c73e0ccf85835c7c6098c (diff) | |
download | ocaml-c7b7c24381651908c14ce4540f61998fd96c6e55.tar.gz |
Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires pour le link final
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/emitcode.mli')
-rw-r--r-- | bytecomp/emitcode.mli | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 3cb78c9120..e38ef86440 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -44,6 +44,22 @@ type compilation_unit = block of relocatable bytecode compilation unit descriptor *) +(* Descriptor for libraries *) + +type library = + { lib_units: compilation_unit list; (* List of compilation units *) + lib_custom: bool; (* Requires custom mode linking? *) + lib_ccobjs: string list; (* C object files needed *) + lib_ccopts: string list } (* Extra opts to C compiler *) + +(* Format of a .cma file: + magic number (Config.cma_magic_number) + absolute offset of library descriptor + object code for first library member + ... + object code for last library member + library descriptor *) + val to_file: out_channel -> string -> instruction list -> unit (* Arguments: channel on output file |