9 Commits (d931b17eabd859bfa2808f2a4214dd23b95f41ac)

Author	SHA1	Message	Date
Sebastian Zivota	a0b02106c3	Make nix flake respect unused grammars (#9326) ... * Make nix flake respect unused grammars * Use default value * Refactor * Take use-grammars.only into account --------- Co-authored-by: Sebastian Zivota <sebastian.zivota@mailbox.org>	10 months ago
mydumpfire	6ab774da0b	grammars.nix: allow the user to apply overlays (#8749) ... You can now apply overlays to the grammar derivations via `grammarOverlays`. Also, the `src` in the derivation is now properly unpacked to the build directory, allowing the user to mutate the source files if they want to.	1 year ago
Erin Kim	bdc7b35214	nix: replace `runCommandNoCC` with `runCommand` (#3992)	2 years ago
Yusuf Bera Ertan	85a5df0391	build(nix): add a way to override what grammars get built (#3141)	2 years ago
Yusuf Bera Ertan	bb83ea8393	chore(nix): format nix files with alejandra, update deps, minor code refactors (#2683)	2 years ago
Max	4eed4c26e9	Use fromTOML on Nix >= 2.6.0 (#1892)	3 years ago
Max	b63b37d5a0	grammars.nix: use github type for fetchTree where possible (#1872)	3 years ago
Michael Davis	e01c53551d	flake: use builtins.fetchTree to shallow-clone grammar repos ... Here we perform a shallow fetch using builtins.fetchTree. In order to make this work, we need to specify the `ref' for any repository that doesn't have `master' as its default branch (I'm not sure why this limitation exists since we don't need this when performing the shallow fetch in `--grammar build') This `ref' field is ignored by helix, so I have left it undocumented for now, but I could be open to documenting it.	3 years ago
Michael Davis	37520f46ae	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.	3 years ago