Write extra_files
when building pyembed artifacts v2
#499
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
These are the changes I needed in order to enable the workflow described in #498 when packaging
filesystem-relative
files viarun-build-script
:OUT_DIR
and skip copying them from thebuild/
directory.extra_files
to a zstd-compressed tar archive.Using an archive rather than materializing extra files directly is an improvement on #466, which makes the process faster and simplifies moving the files to their final destination. It also enables the use case where the archive is compiled into the final binary via
include_bytes!
and then extracted at runtime to always be in the right place. This allows the entire application to still be distributed as a single binary.I'm intentionally not calling
write_extra_files
fromwrite_files
because the archive is only needed as the output ofrun-build-script
.