simplify devShell

This commit is contained in:
Sebastien Bourdeauducq 2023-08-23 19:56:50 +08:00
parent 89cb0383e5
commit b184b71169

View File

@ -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;