Update MujocoDependencies.cmake

google-deepmind · Jun 19, 2023 · a5ee46e · a5ee46e
1 parent 20710dd
commit a5ee46e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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 <prefix>/include/libqhull_r/something.h
     # but mujoco include them as #include <something.h>
     get_property(qhull_include_dirs TARGET Qhull::qhull_r PROPERTY INTERFACE_INCLUDE_DIRECTORIES)