From 06decde594b3dc8662d710f09c3ab99da732987c Mon Sep 17 00:00:00 2001 From: Silvio Traversaro Date: Mon, 19 Jun 2023 15:38:10 +0200 Subject: [PATCH] MujocoDependencies: Move comment back to related code --- cmake/MujocoDependencies.cmake | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/cmake/MujocoDependencies.cmake b/cmake/MujocoDependencies.cmake index 4c15a912..51fa3036 100644 --- a/cmake/MujocoDependencies.cmake +++ b/cmake/MujocoDependencies.cmake @@ -14,10 +14,6 @@ # Build configuration for third party libraries used in MuJoCo. -# Override the BUILD_SHARED_LIBS setting, just for building third party libs (since we always want -# static libraries). The ccd CMakeLists.txt doesn't expose an option to build a static ccd library, -# unless BUILD_SHARED_LIBS is set. - set(MUJOCO_DEP_VERSION_lodepng b4ed2cd7ecf61d29076169b49199371456d4f90b CACHE STRING "Version of `lodepng` to be fetched." @@ -71,6 +67,10 @@ mark_as_advanced(MUJOCO_DEP_VERSION_benchmark) include(FetchContent) include(FindOrFetch) +# Override the BUILD_SHARED_LIBS setting, just for building third party libs (since we always want +# static libraries). The ccd CMakeLists.txt doesn't expose an option to build a static ccd library, +# unless BUILD_SHARED_LIBS is set. + # We force all the dependencies to be compiled as static libraries. # TODO(fraromano) Revisit this choice when adding support for install. set(BUILD_SHARED_LIBS_OLD ${BUILD_SHARED_LIBS})