Ask Your Question
0

Equivalent of "catkin_make -DCMAKE_BUILD_TYPE=Release" with catkin build?

asked 2018-12-06 04:22:14 -0600

fabriceN gravatar image

Dear All,

For a release configuration with optimizations and no debugging symbols, I can use the Release build type:

catkin_make -DCMAKE_BUILD_TYPE=Release

I would like to know if there is something equivalent with catkin build?

Thank you

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2018-12-06 04:31:17 -0600

aPonza gravatar image

updated 2020-06-05 14:22:23 -0600

lucasw gravatar image

Use the following:

catkin config --cmake-args -DCMAKE_BUILD_TYPE=Release

EDIT: you might want to look into the docs.

RE single package: I think that is simply done by catkin build <package you want to optimize> with the flag and removing the CMake flag when building the others. Also note that you should comment under my answer, not post a new answer...and possibly accept the answer if I solved your issue.

edit flag offensive delete link more

Comments

@aPonza thank you very much, it works and do you know if it is possible to optimize a package only?

fabriceN gravatar image fabriceN  ( 2018-12-06 05:46:33 -0600 )edit

@aPonza yes I made a mistake when I replied ... Thanks again and you fully answered my question actually

fabriceN gravatar image fabriceN  ( 2018-12-06 07:11:55 -0600 )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: 2018-12-06 04:22:14 -0600

Seen: 3,866 times

Last updated: Jun 05 '20