Useful snippets for ROS
Set CMake options in catkin build
To pass CMake options to the catkin build tool simply use the —cmake-args command line switch. For example to set the CMAKE_BUILD_TYPE I would use:
catkin build --cmake-args -DCMAKE_BUILD_TYPE=Debug
To save the so that they are added for every call you can use the —save-config command line option :
catkin build --save-CONFIG --cmake-args -DCMAKE_BUILD_TYPE=Debug
Build a single package
To build a single package just specify its name at after catkin build, e.g.
catkin build my_package
There is also an even more convenient form. If you are in the package directory then you …