diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 77c887d7..fe4ee3cb 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -114,6 +114,8 @@ jobs: -G Ninja -DCMAKE_C_COMPILER:STRING=clang-13 -DCMAKE_CXX_COMPILER:STRING=clang++-13 + -DCMAKE_EXE_LINKER_FLAGS:STRING=-rtlib=compiler-rt + -DCMAKE_SHARED_LINKER_FLAGS:STRING=-rtlib=compiler-rt -DMUJOCO_HARDEN:BOOL=ON tmpdir: "/tmp" - os: macos-15