mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 00:15:39 +03:00
added devtools
This commit is contained in:
parent
0448a1a064
commit
91f1247d1e
13
flake.nix
13
flake.nix
@ -20,6 +20,10 @@
|
|||||||
# You can add "development" packages here. They will get added to the devShell automatically.
|
# You can add "development" packages here. They will get added to the devShell automatically.
|
||||||
ocaml-lsp-server = "*";
|
ocaml-lsp-server = "*";
|
||||||
ocamlformat = "*";
|
ocamlformat = "*";
|
||||||
|
merlin = "*";
|
||||||
|
ocp-indent = "*";
|
||||||
|
utop = "*";
|
||||||
|
odoc = "*";
|
||||||
};
|
};
|
||||||
query = devPackagesQuery // {
|
query = devPackagesQuery // {
|
||||||
## You can force versions of certain packages here, e.g:
|
## You can force versions of certain packages here, e.g:
|
||||||
@ -57,6 +61,15 @@
|
|||||||
inputsFrom = builtins.attrValues packages;
|
inputsFrom = builtins.attrValues packages;
|
||||||
buildInputs = devPackages ++ [
|
buildInputs = devPackages ++ [
|
||||||
# You can add packages from nixpkgs here
|
# You can add packages from nixpkgs here
|
||||||
|
pkgs.inotify-tools
|
||||||
|
pkgs.groff
|
||||||
|
pkgs.obelisk
|
||||||
|
pkgs.ninja
|
||||||
|
pkgs.colordiff
|
||||||
|
pkgs.pandoc
|
||||||
|
pkgs.python3.pkgs.pygments
|
||||||
|
pkgs.nodejs
|
||||||
|
pkgs.nodePackages.npm
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
});
|
});
|
||||||
|
Loading…
Reference in New Issue
Block a user