How to migrate a catkin workspace?
I just upgraded my VM from Ubuntu 12.04 to 14.04, and my ROS installation from Hydro to Indigo.
Now that I've done that, I wonder if there is anything special I need to do to migrate my catkin workspace (which was created initially with Hydro) to Indigo.
I just tried the obvious (I guess I could have tried this _before_ I asked my question, but the end result was about what I expected):
$ source catkin_ws/devel/setup.bash
$ cd catkin_ws/
$ catkin_make
catkin_make: command not found