Fix opentitan devenv compatibility with Bazel 7

lowRISC · Sep 4, 2024 · 49a2054 · 49a2054
1 parent 940ed45
commit 49a2054
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dev/opentitan.nix b/dev/opentitan.nix
@@ -91,6 +91,11 @@ in
       "--symlink /etc/ssl/certs/ca-certificates.crt /etc/ssl/cert.pem"
     ];
 
+    profile = ''
+      # Workaround bazel bug: https://github.com/bazelbuild/bazel/issues/23217
+      export TMPDIR=/tmp
+    '';
+
     runScript = "\${SHELL:-bash}";
   })
   .env