Remembering the discussions when the migration to a single repository was considered, this would seem to be one of the potential issues that were raised.
I know I’ve argued this plenty before, but I don’t see a strong relationship between number of git repos within the MoveIt project and build time. Almost all of the packages in the consolidated repo are arguably needed on a regular basis. Most people like the high level interfaces like the MSA, ROS interfaces, and Rviz plugin. Assuming you like having those around… you need to build all of MoveIt.
However, to make it even easier to disable packages, I totally refactored the source install instructions just now:
Edit: could you document how you use ccache and distcc on the source install page, please? That would be really useful to a lot of people.
2 Likes
