cache¶
Specifies whether Dune is allowed to store and fetch build targets from the Dune cache.
(cache <setting>)
where <setting>
is one of:
enabled
enables Dune cache.enabled-except-user-rules
enables 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.disabled
disables Dune cache.