rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

nix cleanup

Browse source
This commit is contained in:
rhiannon morris 2022-05-04 18:35:43 +02:00
parent f5f2c4399e
commit d61101f786
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
flake.nix
View file

@ -14,17 +14,16 @@
inherit system; inherit system;
overlays = [ idris2-pkgs.overlay ]; overlays = [ idris2-pkgs.overlay ];
}; };
inherit (pkgs.idris2-pkgs._builders) idrisPackage devEnv;
inherit (pkgs.idris2-pkgs._builders) idrisPackage;
quox = idrisPackage ./lib { }; quox = idrisPackage ./lib { };
quox-exe = idrisPackage ./exe { extraPkgs.quox = quox; }; quox-exe = idrisPackage ./exe { extraPkgs.quox = quox; };
quox-tests = idrisPackage ./tests { extraPkgs.quox = quox; }; quox-tests = idrisPackage ./tests { extraPkgs.quox = quox; };
in in
{ {
defaultPackage = quox-exe;
packages = { inherit quox quox-exe quox-tests; }; packages = { inherit quox quox-exe quox-tests; };
defaultPackage = quox;
devShell = pkgs.mkShell { buildInputs = [ (devEnv quox) ]; };
} }
); );
} }