File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -212,19 +212,19 @@ jobs:
212212 echo "CARGO_TARGET_${TARGET_ENV_UPPER}_RUSTFLAGS=-Clink-self-contained=no" >> "$GITHUB_ENV"
213213
214214 - name : Build ${{ steps.target.outputs.binary }} (${{ steps.target.outputs.zig_target || steps.target.outputs.target }})
215- # z3 built with zig c++ uses libc++ symbols (std::__1::*).
216- # Override z3-sys default (stdc++) so Rust links the matching runtime.
217- if [[ "$COMPONENT" == "cli" ]]; then
218- echo "CXXSTDLIB=c++" >> "$GITHUB_ENV"
219- fi
220-
221215 env :
222216 # Preserve the release-codegen setting used by the old Dockerfile
223217 # Rust build path so image artifacts keep the same release profile.
224218 CARGO_PROFILE_RELEASE_CODEGEN_UNITS : " 1"
225219 OPENSHELL_IMAGE_TAG : ${{ inputs['image-tag'] }}
226220 run : |
227221 set -euo pipefail
222+ # z3 built with zig c++ uses libc++ symbols (std::__1::*).
223+ # Override z3-sys default (stdc++) so Rust links the matching runtime.
224+ if [[ ""${{ inputs.component }}" == "cli" ]]; then
225+ echo "CXXSTDLIB=c++" >> "$GITHUB_ENV"
226+ fi
227+
228228 mise x -- rustup target add "${{ steps.target.outputs.target }}"
229229 cargo_cmd=(cargo build)
230230 build_target="${{ steps.target.outputs.target }}"
You can’t perform that action at this time.
0 commit comments