summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-05-12 11:46:49 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-05-12 20:05:58 +0200
commitd42ab73da612dffbc476f05ed19141becd313a26 (patch)
tree8ddd52dbb7ae71dc43b9c8c996178d27b1d3e6f9 /tools
parent0f4eeef63cb027393bee1334cb0e6e146e8c714d (diff)
downloadocaml-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.ml8
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 *)