move mypy/ipdb to devshell

This commit is contained in:
Jörg Thalheim
2023-12-06 17:16:03 +01:00
parent 807b53c71b
commit bbc411135c
2 changed files with 4 additions and 3 deletions

View File

@@ -10,7 +10,6 @@
, gobject-introspection
, clan-cli
, makeDesktopItem
, mypy
, ipdb
}:
let
@@ -35,7 +34,7 @@ python3.pkgs.buildPythonApplication {
];
buildInputs = [ spice-gtk gtk3 gnome.adwaita-icon-theme ];
propagatedBuildInputs = [ mypy ipdb pygobject3 clan-cli ];
propagatedBuildInputs = [ pygobject3 clan-cli ];
# also re-expose dependencies so we test them in CI
passthru.tests = {

View File

@@ -1,10 +1,12 @@
{ clan-vm-manager, clan-cli, mkShell, ruff, desktop-file-utils, xdg-utils }:
{ clan-vm-manager, clan-cli, mkShell, ruff, desktop-file-utils, xdg-utils, mypy, python3Packages }:
mkShell {
inherit (clan-vm-manager) propagatedBuildInputs buildInputs;
nativeBuildInputs = [
ruff
desktop-file-utils
xdg-utils
mypy
python3Packages.ipdb
] ++ clan-vm-manager.nativeBuildInputs;
PYTHONBREAKPOINT = "ipdb.set_trace";