diff --git a/flake.nix b/flake.nix index 56d4337..497aecc 100644 --- a/flake.nix +++ b/flake.nix @@ -23,11 +23,7 @@ }; devShell.x86_64-linux = pkgs.mkShell { name = "microsa-dev-shell"; - buildInputs = [ - pkgs.gnumake - pkgs.gcc - ] ++ packages.x86_64-linux.microsa.nativeBuildInputs - ++ packages.x86_64-linux.microsa.propagatedBuildInputs; + buildInputs = packages.x86_64-linux.microsa.nativeBuildInputs ++ packages.x86_64-linux.microsa.propagatedBuildInputs; shellHook = packages.x86_64-linux.microsa.preBuild; }; defaultPackage.x86_64-linux = packages.x86_64-linux.microsa;