Update docker images

afilini · May 24, 2024 · e47efc9 · e47efc9
1 parent 1a8feb8
commit e47efc9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/docker/embedded-dev.nix b/docker/embedded-dev.nix
@@ -1,16 +1,11 @@
-{ pkgs, packages, getRust }:
+{ pkgs, packages, devShells, getRust }:
 
 let
   qemuOnlyArm = packages.smallQemu;
-  shell = pkgs.mkShell {
-    buildInputs = with pkgs; [ cmake pkg-config qemuOnlyArm (getRust { withEmbedded = true; }) ];
-
-    CC_thumbv7em_none_eabihf = "${pkgs.gcc-arm-embedded}/bin/arm-none-eabi-gcc";
-  };
 in
 pkgs.dockerTools.buildNixShellImage {
   name = "portal-dev-environment";
   tag = "latest";
   homeDirectory = "/app";
-  drv = shell;
+  drv = devShells.embedded;
 }
diff --git a/flake.nix b/flake.nix
@@ -160,7 +160,7 @@
         };
 
         packages.docker.emulatorImage = pkgs.callPackage ./docker/emulator.nix { inherit pkgs packages; };
-        packages.docker.devEnvironment = pkgs.callPackage ./docker/embedded-dev.nix { inherit pkgs packages getRust; };
+        packages.docker.devEnvironment = pkgs.callPackage ./docker/embedded-dev.nix { inherit pkgs packages devShells getRust; };
       }
     );
 }