diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-05-12 11:46:49 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-05-12 20:05:58 +0200 |
commit | d42ab73da612dffbc476f05ed19141becd313a26 (patch) | |
tree | 8ddd52dbb7ae71dc43b9c8c996178d27b1d3e6f9 /tools | |
parent | 0f4eeef63cb027393bee1334cb0e6e146e8c714d (diff) | |
download | ocaml-d42ab73da612dffbc476f05ed19141becd313a26.tar.gz |
Rename mksharedlib to mkdll
This commit does however not rename mksharedlibrpath to mkdllrpath.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/ocamlmklib.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/ocamlmklib.ml b/tools/ocamlmklib.ml index 98aa9da8fe..94ba3fc1a0 100644 --- a/tools/ocamlmklib.ml +++ b/tools/ocamlmklib.ml @@ -36,14 +36,14 @@ let compiler_path name = let bytecode_objs = ref [] (* .cmo,.cma,.ml,.mli files to pass to ocamlc *) and native_objs = ref [] (* .cmx,.ml,.mli files to pass to ocamlopt *) and c_objs = ref [] (* .o, .a, .obj, .lib, .dll, .dylib, .so files to - pass to mksharedlib and ar *) + pass to mkdll and ar *) and caml_libs = ref [] (* -cclib to pass to ocamlc, ocamlopt *) and caml_opts = ref [] (* -ccopt to pass to ocamlc, ocamlopt *) and dynlink = ref Config.supports_shared_libraries and failsafe = ref false (* whether to fall back on static build only *) -and c_libs = ref [] (* libs to pass to mksharedlib and ocamlc -cclib *) -and c_Lopts = ref [] (* options to pass to mksharedlib and ocamlc -cclib *) -and c_opts = ref [] (* options to pass to mksharedlib and ocamlc -ccopt *) +and c_libs = ref [] (* libs to pass to mkdll and ocamlc -cclib *) +and c_Lopts = ref [] (* options to pass to mkdll and ocamlc -cclib *) +and c_opts = ref [] (* options to pass to mkdll and ocamlc -ccopt *) and ld_opts = ref [] (* options to pass only to the linker *) and ocamlc = ref (compiler_path "ocamlc") and ocamlc_opts = ref [] (* options to pass only to ocamlc *) |