diff options
Diffstat (limited to 'bytecomp/emitcode.mli')
| -rw-r--r-- | bytecomp/emitcode.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index e38ef8644..481ad506b 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -49,8 +49,9 @@ type compilation_unit = 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 *) + lib_ccobjs: string list; (* C object files needed for -custom *) + lib_ccopts: string list; (* Extra opts to C compiler *) + lib_dllibs: string list } (* DLLs needed *) (* Format of a .cma file: magic number (Config.cma_magic_number) |