CCache: Difference between revisions
imported>Milahu No edit summary |
imported>Fufexan Capitalize, add category |
||
| Line 1: | Line 1: | ||
CCache is useful for [[Packaging]] large packages with [[Incremental builds]]. | |||
With CCache, recompile time can be reduced from many hours to a few minutes. | |||
== | == Add CCache to sandbox == | ||
Add to <code>/etc/nixos/configuration.nix</code> | |||
< | <syntaxhighlight lang="nix"> | ||
nix.extraOptions = '' | |||
extra-sandbox-paths = /nix/var/cache/ccache | |||
''; | |||
</ | </syntaxhighlight> | ||
TODO: use <code>nix.sandboxPaths</code>? [https://github.com/NixOS/nixpkgs/issues/153343] | |||
Run <code>sudo nixos-rebuild switch</code> | |||
Now <code>/etc/nix/nix.conf</code> should have <code>sandbox-paths = /nix/var/cache/ccache</code> | |||
Ceate the cache folder | |||
<pre> | <pre> | ||
| Line 31: | Line 31: | ||
</pre> | </pre> | ||
== | == Derivation CCache == | ||
patch the <code>default.nix</code> file | To enable CCache only for one derivation, patch the <code>default.nix</code> file | ||
< | <syntaxhighlight lang="nix"> | ||
{ stdenv | { stdenv | ||
, ccacheStdenv | , ccacheStdenv | ||
| Line 52: | Line 50: | ||
# ... | # ... | ||
</ | </syntaxhighlight> | ||
Add <code>ccacheStdenv</code> to dependencies. | |||
Run <code>nix-build</code>. | |||
== | == System CCache == | ||
todo | todo | ||
== | == Monitor CCache status == | ||
<pre> | <pre> | ||
| Line 72: | Line 70: | ||
</pre> | </pre> | ||
== | == Uncacheable == | ||
TODO: why are some compilations "uncacheable" according to <code>ccache --show-stats</code> | |||
== | == See also == | ||
* https://leanprover.github.io/lean4/doc/make/nix.html | * https://leanprover.github.io/lean4/doc/make/nix.html | ||
* [https://nixos.org/manual/nix/stable/command-ref/conf-file.html sandbox-paths in nix.conf] | * [https://nixos.org/manual/nix/stable/command-ref/conf-file.html sandbox-paths in nix.conf] | ||
[[Category: Development]] | |||