When using ROS:
Why use catkin build from catkin_tools instead of catkin_make?
I've been told catkin build is better but no one who tells me this can give me a reason why.
4
-
3$\begingroup$ Their documentation describes the difference: catkin-tools.readthedocs.io/en/latest/migration.html $\endgroup$ – SteveO Oct 27 '18 at 14:01
3
$\begingroup$
$\endgroup$
The main difference is the isolated environment that you get with catkin build. This makes the whole build configuration much more compartmentalized and robust to changes in the configuration (add/remove package, modify a cmake variable etc.)
Apart from that you also get much better and easily-readable colored cmdline output which makes the whole experience much more pleasant.
@SteveO's link also gives a nice summary of the changes between the tools.
Adding to catkin build you also get many other useful subcommands with catkin including catkin clean for cleaning the build, devel and install spaces, as well as catkin list , catkin locate, catkin profile
