diff options
author | Michael Davis | 2022-02-15 03:50:08 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-03-10 08:31:57 +0000 |
commit | 37520f46ae891f77f81f4049cbb7dc2dbe2d5fc3 (patch) | |
tree | 08658b41071f7959187423824b53fa1fac646417 /runtime/themes/ingrid.toml | |
parent | b157c5a8a4472cff68de3a9be66e220dc4b80a9f (diff) |
fetch and build grammars with nix in flake
This commit replaces the out-of-date builder in the flake which relied
on submodules for fetching and the compiler for building. Now we
disable fetching and building explicitly with the environment variable
and then use builtins.fetchGit and a derivation mostly derived from
upstream to compile the grammars.
Anecdotally, this is still quite slow as builtins.fetchGit does not
seem to do shallow clones. I'm not sure I see a way around it though
without recording sha256s, which seems cumbersome.
Diffstat (limited to 'runtime/themes/ingrid.toml')
0 files changed, 0 insertions, 0 deletions