Ask Your Question
0

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

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

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 -0500

aPonza gravatar image

updated 2018-12-06 06:05:03 -0500

Use 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 imagefabriceN ( 2018-12-06 05:46:33 -0500 )edit

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

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

Seen: 404 times

Last updated: Dec 06 '18