Update shell.nix

ChairImpSec · Aug 20, 2024 · 1cf68ea · 1cf68ea
1 parent 3b9d5a4
commit 1cf68ea
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/shell.nix b/shell.nix
@@ -6,9 +6,7 @@ pkgs.mkShell {
   nativeBuildInputs = with pkgs; [
     pkg-config
     gnumake
-  ];
-  nativeCheckInputs = with pkgs; [
-    catch2
+    gcc
   ];
   buildInputs = with pkgs; [
     (boost185.override {
@@ -18,5 +16,8 @@ pkgs.mkShell {
     flint
     python310
     gcc-arm-embedded
+    bear
+    catch2
   ];
 }
+