Fix GitHub Actions builds.

PiperOrigin-RevId: 757765160 Change-Id: Idaf86f80a24bc480ce35711cb706a4702a249d31
2025-05-12 07:59:23 -07:00
parent 9ac5fff41d
commit 6a977d073b
2 changed files with 65 additions and 40 deletions
@@ -110,6 +110,7 @@ target_sources(
 target_compile_options(platform_ui_adapter PRIVATE ${MUJOCO_SIMULATE_COMPILE_OPTIONS})
 if(APPLE)
  target_sources(platform_ui_adapter PUBLIC glfw_corevideo.h PRIVATE glfw_corevideo.mm)
+  set_source_files_properties(glfw_corevideo.mm PROPERTIES COMPILE_FLAGS -Wno-deprecated-declarations)
  target_link_libraries(platform_ui_adapter PUBLIC "-framework CoreVideo")
 endif()
 target_include_directories(