-
Notifications
You must be signed in to change notification settings - Fork 38
Catkin Command Line Tools
Note: This is an experimental feature which might not always work.
Catkin can be a little slow for two reasons:
- Catkin processes the dependencies of your workspace before starting to build the actual packages.
- Catkin parallelizes the build of object files inside a package, but does not build packages in parallel.
One reason for that is that catkin creates a single make target for all packages in your source space. A new command called catkin-make-isolated builds each package in the workspace individually, calling cmake, make etc (cmi ROS). This can be parallelized better. Parallel-catkin-make-isolated (pcmi) resolves dependencies on the fly and builds packages individually and in parallel can therefore speed up your build times significantly.
pcmi is part of the catkin-tools, which is the preferred way of building catkin workspaces.
Can be found here.
-
catkin build
: Verb for building a catkin workspace <commands/catkin_build> -
catkin list
: Verb for finding and listing information about catkin packages <commands/catkin_list>
cd /tmp
git clone https://github.com/catkin/catkin_tools.git
cd catkin_tools
sudo python setup.py install
From now on you can issue a parallel catkin_make by using the command catkin build
where you have used catkin_make before, e.g.:
cd $CATKIN_WS
catkin build