diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:32:32 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:32:32 +0000 |
| commit | 343d49401abf2c9d6841a4739c90f65fc88a666f (patch) | |
| tree | b378148fd4864173f54e73ea51d0a4c3be367ad4 /bytecomp/emitcode.ml | |
| parent | f4e4e941cb5919dfe680a7968a057a1cc76af4c8 (diff) | |
Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index c84159b51..01fbde4ba 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -48,8 +48,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 *) (* Buffering of bytecode *) |