Why would I not want to do a regular catkin_make?
because most RPi installations are built-from-sources, which will include non-Catkin packages.
Plain catkin_make
cannot build non-Catkin packages.
catkin_make_isolated
can.
and perhaps related, why did it call the directory the non-standard ros_catkin_ws?
Because there is no requirement on what the name of the workspace is?
It's also not important: that workspace is really "only" a workspace used while building the initial, base ROS install from sources. Most instructions will end with a catkin_make_isolated
command which install
s the resulting binaries into /opt/ros/..
(or a similar read-only location).
After that, the temporary ros_catkin_ws
can be deleted and a regular workspace can be created and used (which will contain just the packages the user is working on, rather than with).
Unless a user wishes to track upstream and benefit from re-using some of the binary objects in the build_isolated
directory of course. Then it should not be deleted. But perhaps something like ccache
would be better to use in that case.