client: Install the .uf2

[tattlekey] / client / default.nix

diff --git a/client/default.nix b/client/default.nix
index 37fc8f117dfa64d2783815326764e348919cbe0e..58b928e77e1d832a92d55ff787f31de311e9d813 100644 (file)
--- a/client/default.nix
+++ b/client/default.nix
@@ -10,18 +10,9 @@ let
       cmakeFlags = [
         "-DCMAKE_C_COMPILER=${cc}/bin/arm-none-eabi-cc"
         "-DCMAKE_CXX_COMPILER=${cc}/bin/arm-none-eabi-c++"
+        "-DPICO_BOARD=pico_w"
         "-DPICO_SDK_PATH=${pico-sdk.override { minimal = false; }}/lib/pico-sdk"
         "-DPICO_TOOLCHAIN_PATH=${cc}/bin"
       ];
-      /*
-      installPhase = ''
-        runHook preInstall
-
-        mkdir $out
-        mv build/tattlekey.* $out
-
-        runHook postInstall
-      '';
-      */
     };
 in pkgs.callPackage tattlekey {}