-
Notifications
You must be signed in to change notification settings - Fork 671
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
Support Mantic compilers #3285
Support Mantic compilers #3285
Conversation
Still having issues with the |
Done. |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #3285 +/- ##
==========================================
- Coverage 84.05% 84.02% -0.04%
==========================================
Files 250 250
Lines 13479 13487 +8
==========================================
+ Hits 11330 11332 +2
- Misses 2149 2155 +6 ☔ View full report in Codecov by Sentry. |
Tested it also works with clang-17. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Seems fine overall, but I have one inline comment and a general question. Why the need to add those escaped quotes in some of the strings?
Hey @townsend2010, thanks! I added those escape chars because, for some change in |
The version of fmtlib we are using now introduced a breaking change in the output of filesystem::path, making the default to not quote the path when formatting. For this reason, and with the aim of maintaining our output as it was before bumping the version of fmtlib, we force quoting the paths, using {:?} instead of {}.
Hey @townsend2010! The default formatting of |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok, LGTM, thanks!
This fixes compilation with gcc-13 and clang-16.