Skip to content
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

More fixes for package.xml #1031

Merged
merged 10 commits into from
Mar 14, 2018
Merged

More fixes for package.xml #1031

merged 10 commits into from
Mar 14, 2018

Conversation

mxgrey
Copy link
Member

@mxgrey mxgrey commented Mar 14, 2018

Since DART does not depend on catkin in order to configure and build, we can specify that it's build type is cmake instead of catkin. This prevents catkin from complaining about the project not being a catkin package.

This brings us back to conforming to REP-136, which I had naively erased, since I wasn't aware of the nuances between a "catkin package" and a "third-party package" (dartsim is considered the latter).

This also adds a boost dependency that was missing.

@codecov
Copy link

codecov bot commented Mar 14, 2018

Codecov Report

Merging #1031 into release-6.3 will not change coverage.
The diff coverage is n/a.

@@             Coverage Diff              @@
##           release-6.3    #1031   +/-   ##
============================================
  Coverage        56.22%   56.22%           
============================================
  Files              300      300           
  Lines            23548    23548           
============================================
  Hits             13239    13239           
  Misses           10309    10309

@mxgrey mxgrey merged commit d530cdb into release-6.3 Mar 14, 2018
@jslee02 jslee02 added this to the DART 6.3.1 milestone Mar 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants