cache¶
Specifies whether Dune is allowed to store and fetch build targets from the Dune cache.
(cache <setting>)
where <setting> is one of:
enabledenables Dune cache.enabled-except-user-rulesenables the Dune cache, but exclude user-written rules. This setting is a conservative choice that can avoid breaking rules whose dependencies are not correctly specified. Currently the default.disableddisables Dune cache.