Le catkin_make est en fait une macro qui crée des répertoires et exécute la commande cmake pour vous Si vous voulez le faire vous-même, supprimez d'abord les répertoires build et devel. Vous pouvez maintenant créer un répertoire de construction et exécuter la commande cmake par vous-même pour obtenir exactement le même résultat que catkin_make.
Qu'est-ce que la commande catkin_make ?
catkin_make est un outil pratique pour construire du code dans un espace de travail catkin. catkin_make suit la disposition standard d'un espace de travail catkin, comme décrit dans REP-128.
Quelle est la différence entre catkin_make et catkin build ?
catkin build peut être utilisé depuis n'importe quel répertoire de l'espace de travail tandis que catkin_make ne fonctionne que dans le répertoire de niveau supérieur.
Pourquoi s'appelle-t-il chaton ?
Le mot catkin est un emprunt du moyen néerlandais katteken, qui signifie "chaton" (comparez aussi l'allemand Kätzchen). Ce nom est dû soit à la ressemblance des longs types de chatons avec la queue d'un chaton, soit à la fourrure fine trouvée sur certains chatons Ament vient du latin amentum, qui signifie "string" ou "sangle ".
Qu'est-ce qu'un espace de travail catkin ?
Un espace de travail catkin est un dossier dans lequel vous modifiez, construisez et . install catkin packages.
