diff options
author | Jim Mussared <jim.mussared@gmail.com> | 2022-08-11 00:16:48 +1000 |
---|---|---|
committer | Jim Mussared <jim.mussared@gmail.com> | 2022-09-05 17:06:52 +1000 |
commit | bc23f207cefed82172551288ebb8686ee2c512a3 (patch) | |
tree | 0c487facdf7e5704d7126b57a0632656b63bec8f /docs/pyboard/tutorial | |
parent | e9a28ce312b75a4f2b3b7a8c3e38b7766cb567b3 (diff) |
tools/manifestfile.py: Allow require() to specify unix packages.
By default, don't include micropython-lib/unix-ffi in the search.
If unix_ffi=True is passed to require(), then include unix-ffi and make it
take precedence over the other locations (e.g. python-stdlib).
This does two things:
- Prevents non-unix builds from using unix-only packages.
- Allows the unix build to optionally use a more full-featured (e.g. ffi)
based package, even with the same name as one from e.g. stdlib.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'docs/pyboard/tutorial')
0 files changed, 0 insertions, 0 deletions