From 3808750687e7b6f953c251ae1281be5309d7d736 Mon Sep 17 00:00:00 2001
From: Scott Worley <scottworley@scottworley.com>
Date: Fri, 29 Sep 2023 12:37:21 -0700
Subject: [PATCH 1/1] client: Build in a Debian VM

This finally makes it work.  Hurray!

Other things I tried that didn't help:
  * Other versions of cross gcc (8, 9, 10, 11 12)
  * Other versions of host gcc (10)
  * Other versions of pico-sdk (1.3.1, 1.4.0)

arm-none-eabi-gcc as packaged in Debian works.
arm-none-eabi-gcc as packaged in Nix doesn't.
I haven't yet looked further into why.
---
 client/default.nix | 24 +++++++++++++++++++-----
 1 file changed, 19 insertions(+), 5 deletions(-)

diff --git a/client/default.nix b/client/default.nix
index 322cf66..a2bbf91 100644
--- a/client/default.nix
+++ b/client/default.nix
@@ -1,6 +1,6 @@
 { pkgs ? import <nixpkgs> { }, }:
 let
-  cc = pkgs.pkgsCross.arm-embedded.stdenv.cc;
+
   tattlekey = { lib, stdenv, cmake, pico-sdk, python3 }:
     stdenv.mkDerivation {
       pname = "tattlekey";
@@ -8,12 +8,13 @@ let
       src = lib.cleanSource ./.;
       nativeBuildInputs = [ cmake python3 ];
       cmakeFlags = [
-        "-DCMAKE_C_COMPILER=${cc}/bin/arm-none-eabi-cc"
-        "-DCMAKE_CXX_COMPILER=${cc}/bin/arm-none-eabi-c++"
+        "-DCMAKE_C_COMPILER=/usr/bin/arm-none-eabi-gcc"
+        "-DCMAKE_CXX_COMPILER=/usr/bin/arm-none-eabi-c++"
         "-DPICO_BOARD=pico_w"
         "-DPICO_SDK_PATH=${pico-sdk}/lib/pico-sdk"
-        "-DPICO_TOOLCHAIN_PATH=${cc}/bin"
       ];
+      diskImage = debImage;
+      diskImageFormat = "qcow2";
     };
 
   pico-sdk = pkgs.pico-sdk.overrideAttrs (old: rec {
@@ -27,4 +28,17 @@ let
     };
   });
 
-in pkgs.callPackage tattlekey { inherit pico-sdk; }
+  distro = "debian11x86_64";
+
+  extraPackages = [
+    "build-essential"
+    "cmake"
+    "gcc-arm-none-eabi"
+    "libnewlib-arm-none-eabi"
+    "libstdc++-arm-none-eabi-newlib"
+  ];
+
+  debImage = pkgs.vmTools.diskImageFuns."${distro}" { inherit extraPackages; };
+
+in pkgs.vmTools.runInLinuxImage
+(pkgs.callPackage tattlekey { pico-sdk = pico-sdk; })
-- 
2.44.1