duckietown / hatchery

🐣 An IDE for building ROS applications
http://www.ros.org/
Other
8 stars 1 forks source link

Support catkin-tools #16

Closed marcoesposito1988 closed 5 years ago

marcoesposito1988 commented 5 years ago

First of all, thanks for the great plugin! It makes life much easier.

It would be great if it could support catkin-tools (catkin build) in alternative to plain catkin (catkin_make).

It should be possible to find the correct command by checking for the existance of the directory .catkin_tools inside the workspace root.

I can start working on a pull request to implement this.

breandan commented 5 years ago

Hi Marco, thanks for your feedback! It would be great to have additional build support. We are currently working to integrate @paoloach's ROS plugin into Hatchery, which can be found in the paolo-integration branch. It has some limited support for catkin, but does not support catkin-tools directly. Contributions, of course, are highly welcome! If you are interested, please don't hesitate to look around and let me know if you have any questions.