O catkin_make é na verdade uma macro que cria diretórios e executa o comando cmake para você Se você quiser fazer isso sozinho, apenas exclua os diretórios build e devel primeiro. Agora você pode criar um diretório de compilação e executar o comando cmake sozinho para obter exatamente o mesmo resultado que catkin_make obteve.
O que é o comando catkin_make?
catkin_make é uma ferramenta conveniente para construir código em um espaço de trabalho catkin. catkin_make segue o layout padrão de um espaço de trabalho catkin, conforme descrito em REP-128.
Qual é a diferença entre catkin_make e catkin build?
catkin build pode ser usado em qualquer diretório na área de trabalho enquanto catkin_make só funciona no diretório de nível superior.
Por que se chama catkin?
A palavra catkin é um empréstimo do holandês médio katteken, que significa "gatinho" (compare também o alemão Kätzchen). Este nome é devido à semelhança dos longos tipos de amentilhos com o rabo de um gatinho, ou ao pêlo fino encontrado em alguns amentilhos Ament é do latim amentum, que significa "tanga" ou "correia ".
O que é um espaço de trabalho catkin?
Um espaço de trabalho catkin é uma pasta onde você modifica, constrói e . instalar pacotes catkin.