[Documentation] [TitleIndex] [WordIndex

Vamos criar um espaço de trabalho catkin:

$ mkdir -p ~/catkin_ws/src
$ cd ~/catkin_ws/src
$ catkin_init_workspace

Mesmo que o espaço de trabalho esteja vazio (não existam pacotes no diretório 'src', simplesmente um simples link para uma CMakeLists.txt) você ainda pode dar build no espaço de trabalho:

$ cd ~/catkin_ws/
$ catkin_make

O comando catkin_make é uma ferramenta de conveniência para se trabalhar com espaços de trabalho catkin. Se você verificar no seu diretório atual, deve existir um diretório 'build' e outro 'devel'. Dentro do diretório 'devel' você pode ver que existem agora diversos arquivos setup.*sh. Dar source em qualquer destes arquivos vai sobrepor este espaço de trabalho em cima do seu ambiente. Para compreender mais sobre o assunto, dê uma olhada na documentação geral do catkin: catkin. Antes de continuar, dê source no seu novo arquivo setup.*sh:

$ source devel/setup.bash

2019-11-09 13:06