fix(bazel): isolate local build and test state

Signed-off-by: Drew Newberry <anewberry@nvidia.com>
This commit is contained in:
Drew Newberry
2026-08-09 20:31:09 -07:00
parent 4cb77a900e
commit f6df5ca582
3 changed files with 3 additions and 5 deletions
+1
View File
@@ -0,0 +1 @@
target
+1 -5
View File
@@ -301,11 +301,7 @@ brew install bazelisk
npm install -g @bazel/bazelisk
```
Bazel builds Z3 from source, so no system Z3 installation is needed when using Bazel. If you have previously built with Cargo, add Cargo's output directory to `.bazelignore` to prevent conflicts:
```bash
echo "target" >> .bazelignore
```
Bazel builds Z3 from source, so no system Z3 installation is needed when using Bazel. The repository's `.bazelignore` excludes Cargo's `target` directory to prevent conflicts with existing Cargo build output.
### macOS build tools
+1
View File
@@ -215,6 +215,7 @@ mod tests {
with_vars(
[
("XDG_CONFIG_HOME", Some(tmp.as_str())),
("OPENSHELL_SYSTEM_GATEWAY_DIR", Some(tmp.as_str())),
("OPENSHELL_GATEWAY", None::<&str>),
],
f,