I was trying to install Mujoco as a library to be used in my own Cpp programs, but I don¡t know if I should build it, although it does not have any CMakeLists file. I do not have much experience using precompiled libraries, so there might be the problem. Don't have much experience with Mujoco, but since I wanted to create a ROS2 interface with Mujoco, I think that going to the Mujoco library and learn how to use it is a good starting point.