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

Minor polishing #14

Merged
merged 9 commits into from
Dec 12, 2023
Merged

Minor polishing #14

merged 9 commits into from
Dec 12, 2023

Conversation

christianparpart
Copy link
Member

I actually did it because i believed we do not have an install target, but cmake --build ... --target install does in fact install.

So I ended up polishing a bit.

Question: I hard-depend on Catch2 version 3 now, in case we build with tests. Would this interfere with Contour, when depending on it? (I'm primarily concerned for the Ubuntu 18 builds, but there we provide it from within Contour...) 🤔

Copy link
Member

@Yaraslaut Yaraslaut left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I corrected formatting
editorconfig still does not like things, not sure why
also, ubuntu ships only with catch2 (2.13.8-1) see: https://packages.ubuntu.com/jammy/catch2 so we can not build with v3 inside actions,
I think that we should not enable testing by default so if you include boxed in your project there is not catch dependency to build it

@christianparpart
Copy link
Member Author

I think that we should not enable testing by default so if you include boxed in your project there is not catch dependency to build it

sounds good to me

@christianparpart christianparpart force-pushed the minor-polishing branch 5 times, most recently from 81cb86e to 411e5cd Compare December 11, 2023 22:19
Signed-off-by: Christian Parpart <[email protected]>
@christianparpart christianparpart force-pushed the minor-polishing branch 3 times, most recently from c2a29e0 to 0c70212 Compare December 11, 2023 22:28
Signed-off-by: Christian Parpart <[email protected]>
@christianparpart christianparpart force-pushed the minor-polishing branch 2 times, most recently from 5a7cfe6 to 2e1f3d3 Compare December 11, 2023 22:53
Signed-off-by: Christian Parpart <[email protected]>
@Yaraslaut Yaraslaut force-pushed the minor-polishing branch 7 times, most recently from 5c69698 to 2cfd1cf Compare December 11, 2023 23:29
@Yaraslaut Yaraslaut force-pushed the minor-polishing branch 3 times, most recently from d1ceb7b to 6185e52 Compare December 11, 2023 23:35
@christianparpart christianparpart force-pushed the minor-polishing branch 8 times, most recently from 739571f to 7327ee6 Compare December 12, 2023 20:56
@christianparpart christianparpart merged commit 74059da into master Dec 12, 2023
4 checks passed
@christianparpart christianparpart deleted the minor-polishing branch December 12, 2023 21:30
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.

2 participants