MC_MUJOCO_SHARE_DESTINATION

[fkanehiro]

When I want to install mc_mujoco under my home directory, it seems that I need to change CMAKE_INSTALL_PREFIX and MC_MUJOCO_SHARE_DESTINATION. Is it necessary to make them configurable independently?

[rohanpsingh]

When I want to install mc_mujoco under my home directory, it seems that I need to change CMAKE_INSTALL_PREFIX and MC_MUJOCO_SHARE_DESTINATION.

Really? In my case, only CMAKE_INSTALL_PREFIX is needed to be set. MC_MUJOCO_SHARE_DESTINATION is set automatically.

[fkanehiro]

Maybe you specified CMAKE_INSTALL_PREFIX using -D option of cmake. I ran cmake without specifying CMAKE_INSTALL_PREFIX and then changed CMAKE_INSTALL_PREFIX using ccmake.

[rohanpsingh]

Ah I see, yes I was using the -D option. I think we don't need to make MC_MUJOCO_SHARE_DESTINATION separately configurable as it is only used for storing xml models.

[gergondet]

That's because the variable were set as CACHE variable rather than regular variable and updating CMAKE_INSTALL_PREFIX after the first CMake run would not update them. I have made them regular variables in the above commit.

@fkanehiro note that mc_mujoco is available in https://github.com/mc-rtc/superbuild-extensions/ (but there is a little extra work to do to support MuJoCo on macOS automatically: https://github.com/mc-rtc/superbuild-extensions/blob/main/simulation/MuJoCo.cmake)

[fkanehiro]

Thanks, @gergondet !