Fix Darwin switch after remote reconciliation

2026-04-25 17:34:58 -07:00
parent 222228742f
commit 1a06382365
8 changed files with 53 additions and 26 deletions
--- a/nix-shared/overlays/default.nix
+++ b/nix-shared/overlays/default.nix
@@ -75,6 +75,10 @@ in
    dontCheckRuntimeDeps = true;
  });

+  direnv = prev.direnv.overrideAttrs (_: {
+    doCheck = false;
+  });
+
  magma = prev.magma.overrideAttrs (oldAttrs: {
    # The CUDA codegen step in magma 2.9.0 can segfault when `make generate`
    # fans out across all cores. Keep the rest of the build parallel.