diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-17 09:42:56 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-18 11:07:43 +0200 |
commit | c530b74e5e4c7bb8f44531a3ff21eecfa03d66f8 (patch) | |
tree | effe45d5edfc18f4dd439cae89ba9da412f5d9c8 /tools/.depend | |
parent | 758ab7d1a65fff28d0ced8b4f68eb44210456543 (diff) | |
download | ocaml-c530b74e5e4c7bb8f44531a3ff21eecfa03d66f8.tar.gz |
tools/ocamlmktop.ml: make use of the configured extension of executalbes
Before this commit, the name of the compiler to use (ocamlc or ocamlc.exe)
was determined base on the OS type. This commit replaces this by
a mere string concatenation of "ocamlc" and the configured extension
for executable files.
This introduces a dependency of tools/ocamlmktop on the compiler's
configuration module.
Diffstat (limited to 'tools/.depend')
-rw-r--r-- | tools/.depend | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/.depend b/tools/.depend index 109cb1f3f1..442ebd4f59 100644 --- a/tools/.depend +++ b/tools/.depend @@ -135,8 +135,10 @@ ocamlmklib.cmx : \ ocamlmklibconfig.cmo : ocamlmklibconfig.cmx : ocamlmktop.cmo : \ + ../utils/config.cmi \ ../utils/ccomp.cmi ocamlmktop.cmx : \ + ../utils/config.cmx \ ../utils/ccomp.cmx ocamloptp.cmo : \ ../driver/main_args.cmi |