Ask Your Question
1

difference between devel folder and install folder in catkin_ws

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

sam26 gravatar image

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 ?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

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

gvdhoorn gravatar image

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

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 more

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

sam26 gravatar imagesam26 ( 2017-02-01 00:52:39 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2017-01-31 05:30:14 -0500

Seen: 1,918 times

Last updated: Feb 01 '17