As a newly starting user of ROS, should I use `catkin_make` or `catkin build`?
More in general: What is the status of catkin-tools?
----------
Background: I'm getting started, going through tutorials on https://wiki.ros.org/, where I mainly see examples of `catkin_make`. Meanwhile I came across the catkin-tools project, where in the documentation there's an extensive explanation of the [history](https://catkin-tools.readthedocs.io/en/latest/history.html) of catkin: from `catkin_make` to `catkin_make_isolated` to `pcmi` to `catkin build` in the `catkin-tools` project. Reading that description gave me the idea that it would be better to use `catkin build` instead of `catkin_make`.
I've tried searching ROS Discourse and Answers and then Google for an answer to my question, but the most relevant info I found were some issues in the Github issue tracker of catkin-tools, dating back to 2014, but none seemed conclusive to me.
- https://github.com/ros/catkin/issues/611
- https://github.com/catkin/catkin_tools/issues/55
↧