diff --git a/cmake/MujocoDependencies.cmake b/cmake/MujocoDependencies.cmake index ccd423e0f11..c475a6749f4 100644 --- a/cmake/MujocoDependencies.cmake +++ b/cmake/MujocoDependencies.cmake @@ -60,7 +60,7 @@ set(MUJOCO_DEP_VERSION_benchmark mark_as_advanced(MUJOCO_DEP_VERSION_lodepng) mark_as_advanced(MUJOCO_DEP_VERSION_tinyxml2) -mark_as_advanced(MUJOCO_DEP_VERSION_) +mark_as_advanced(MUJOCO_DEP_VERSION_tinyobjloader) mark_as_advanced(MUJOCO_DEP_VERSION_ccd) mark_as_advanced(MUJOCO_DEP_VERSION_qhull) mark_as_advanced(MUJOCO_DEP_VERSION_Eigen3) @@ -139,7 +139,8 @@ if(NOT MUJOCO_USE_SYSTEM_qhull) else() if(NOT TARGET qhullstatic_r) add_library(qhullstatic_r INTERFACE) - target_link_libraries(qhullstatic_r INTERFACE Qhull::qhull_r) + set_target_properties(qhullstatic_r PROPERTIES INTERFACE_LINK_LIBRARIES Qhull::qhull_r) + # Workaround as headers are installed in /include/libqhull_r/something.h # but mujoco include them as #include get_property(qhull_include_dirs TARGET Qhull::qhull_r PROPERTY INTERFACE_INCLUDE_DIRECTORIES)