open-rmf / rmf

Root repository for the RMF software
Apache License 2.0
225 stars 58 forks source link

Remove ros_ign source repo #76

Closed luca-della-vedova closed 2 years ago

luca-della-vedova commented 3 years ago

New feature implementation

Implemented feature

Remove ros_ign and use the binary package instead, depends on rmf_demos #60 which should be merged first.

Implementation description

Since ros_ign related packages are now available as binaries, we can avoid building them from source, saving some time and effort when updating distributions, as well as building time and size of the RMF workspace.