language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-07 13:15:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix-build compatible

Browse source
This commit is contained in:
SnO2WMaN 2022-08-17 06:28:22 +09:00
parent d2a7243219
commit a227f6e432
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
default.nix Normal file
View file

@ -0,0 +1,12 @@
(
import
(
fetchTarball
(with (builtins.fromJSON (builtins.readFile ./flake.lock)).nodes.flake-compat.locked; {
url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz";
sha256 = narHash;
})
)
{src = ./.;}
)
.defaultNix