From b184b7116915157e6e7bd80616a9c3b51aed8746 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 23 Aug 2023 19:56:50 +0800
Subject: [PATCH] simplify devShell

---
 flake.nix | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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;