diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-09-29 12:14:49 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-10-05 14:50:57 +0100 |
| commit | 4f09104d882102dd45e3462e937dd32b4f3fdd26 (patch) | |
| tree | 85a2bb055a04dcab638fdefec3acc0dc3967de0f /.gitignore | |
| parent | 345fd4c3f967ddc45bf6ce609ccdc52d9fda22b3 (diff) | |
| download | ocaml-4f09104d882102dd45e3462e937dd32b4f3fdd26.tar.gz | |
Allow by-host worktree-sharable configure caches
The Git configuration value ocaml.configure-cache can be used to specify
a directory to keep autoconf cache files in, relative to the worktree
root (so `git config ocaml.configure-cache .` enables the feature, and
`git config --global ocaml.configure-cache ..` enables it for all
worktrees, assuming they're at the same level).
autoconf's --cache-file option speeds up future runs of configure by
caching the results of previous tests. The cache is invalidated if any
environment variables differ (e.g. LDFLAGS) or if the build-host-target
triplet differs. This is a nuisance on Windows, where configure is both
very slow and it's also common to build with multiple different --host
values.
This PR allows a tree to be quickly reconfigured from one Windows port
to another.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ff1bf28050..5da73a826e 100644 --- a/.gitignore +++ b/.gitignore @@ -45,6 +45,7 @@ _build /autom4te.cache /ocamlc /config.cache +/ocaml-*.cache /config.log /config.status /libtool |