difference between devel folder and install folder in catkin_ws

asked 2017-01-31 05:30:14 -0600

sam26
231 ●32 ●39 ●50

When catkin_make is used , devel folder is generated along with some setup files . However, when catkin_make install is used , a new folder install is generated along with the setup files . How are these two folders different in terms of the files they contain ?

answered 2017-01-31 05:34:40 -0600

gvdhoorn
86574 ●283 ●1432 ●1054 http://cor.tudelft.nl/

updated 2017-02-01 05:09:03 -0600

See if wiki/catkin - workspaces answers your questions.

Edit:

I also wanted to know the difference in terms of sourcing the setup files in both these folders . How can i know when to source the files from devel space and when from install space

From the page I linked to:

Once targets are built, they can be installed into the install space by invoking the install target, usually with make install

If all packages in your source space have the required install(..) directives in their CMakeLists.txt, then there should be no difference between the devel and the install space, when running nodes from those packages.

For normal development though, I'd always just use the devel space (name sort of implies that). The install space is typically an 'end-station': you use it for deployment.

edit flag offensive delete link

Comments

That partly clarified the question.Thank you . I also wanted to know the difference in terms of sourcing the setup files in both these folders . How can i know when to source the files from devel space and when from install space