-
Notifications
You must be signed in to change notification settings - Fork 40
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make dartsim/World.hh header private #551
Conversation
Signed-off-by: Jose Luis Rivero <[email protected]>
Signed-off-by: Jose Luis Rivero <[email protected]>
Codecov Report
@@ Coverage Diff @@
## gz-physics7 #551 +/- ##
============================================
Coverage 76.89% 76.89%
============================================
Files 140 140
Lines 7683 7683
============================================
Hits 5908 5908
Misses 1775 1775
|
After this PR, would the |
that still holds the cmake config files, so I think it's needed? |
This is a good point. I think that the main question is: is there a valid use for developers that would generate code from the dartsim plugin that has no public headers? Because we are generating the buildsystem helpers (CMake + pkgconfig) to facilitate that use case. If there is no use case, we either not packaging the helpers and remove the -dev package or change our buildsystem not to generate the helpers. |
Let's move the conversation to #541 |
Move
dartsim/World.hh
header out from public headers to be insrc/
as a private header as suggested long ago in #274 (comment)Checklist
codecheck
passed (See contributing)Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining
Signed-off-by
messages.