diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-25 10:43:32 +0200 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-25 10:44:04 +0200 |
commit | 6be361ffd75a2fce5f4daa21fd5073b9a18ce31c (patch) | |
tree | 1e24426594080a4b583ba7b6411221dc10c986c1 | |
parent | 063894d3fa8f63fedf6959744510e1635dccb3ca (diff) | |
download | ocaml-6be361ffd75a2fce5f4daa21fd5073b9a18ce31c.tar.gz |
HACKING.adoc: document the V=1 option of makefiles
I needed it this morning and failed to find it without going back to
the PR.
-rw-r--r-- | HACKING.adoc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/HACKING.adoc b/HACKING.adoc index 84dededf36..b774f3d722 100644 --- a/HACKING.adoc +++ b/HACKING.adoc @@ -392,7 +392,7 @@ You can also run `make install` manually, which will not trigger a recompilation, but will not remove the previous version either and can mess with `opam`'s tracking of installed files. -=== Useful Makefile targets +=== Useful Makefile targets and options Besides the targets listed in link:INSTALL.adoc[] for build and installation, the following targets may be of use: @@ -407,6 +407,10 @@ installation, the following targets may be of use: `make -C testsuite parallel`:: see link:testsuite/HACKING.adoc[] +You can use `make foo V=1` to build the target foo and show full +commands instead of abbreviated names like OCAMLC, etc. This can be +useful to know the flags to use to manually rebuild a file. + Additionally, there are some developer specific targets in link:Makefile.dev[]. These targets are automatically available when working in a Git clone of the repository, but are not available from a tarball. |