-
-
Notifications
You must be signed in to change notification settings - Fork 8.4k
tools/manifestfile: Add --unix-ffi option. #13655
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
tools/manifestfile: Add --unix-ffi option. #13655
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #13655 +/- ##
=======================================
Coverage 98.36% 98.36%
=======================================
Files 160 160
Lines 21075 21075
=======================================
Hits 20730 20730
Misses 345 345 ☔ View full report in Codecov by Sentry. |
Code size report:
|
b385cfd
to
57b7913
Compare
57b7913
to
4cb1d5e
Compare
I think it's fine to make this a special option called This tool running as a command-line tool is anyway an internal tool to MicroPython (only used by |
4cb1d5e
to
61ba293
Compare
Yep happy to make this just |
(Although it might be useful for CI in a different non-micropython-lib repo, which was the reason we added support for |
61ba293
to
5c70b15
Compare
I think it would be really good to have a good story on how to build and publish micropython packages outside of micropython-lib. Maybe I'm just missing the relevant knowledge, but it seems to me like actually building that out might result in a slightly different high-level design to what's currently here anyhow. |
Follow up to 35dd959, allows explicitly adding the unix-ffi library path from the command line. This option is needed when building unix-ffi manifests in micropython-lib CI. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>
5c70b15
to
1ef2944
Compare
Thanks for updating. Now merged. |
Allows adding unix-ffi library from the command line, to fix micropython-lib builds.
Follow up to 35dd959 from #13620
This doesn't expose the full
add_library()
function to the command line, as currently the only use case is unix-ffi libraries. The only "external" user of this tool is currently micropython-lib.Before:
After:
This work was funded through GitHub Sponsors.