diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-12-19 16:13:50 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-12-21 15:28:32 +1100 |
| commit | 5d28bb4adb24094917038a506248ff7fb351ac44 (patch) | |
| tree | cdcc0aa1ebde0206ede900160ca70dc0f184bb34 /py/make_root_pointers.py | |
| parent | 5552896ca8064a71446030bd9524cff7558a0f83 (diff) | |
tools/manifestfile.py: Add support for external libraries.
This adds a `add_library(name, path)` method for use in manifest.py that
allows registering an external path (e.g. to another repo) by name.
This name can then be passed to `require("package", library="name")` to
reference packages in that repo/library rather than micropython-lib.
Within the external library, `require()` continues to work as normal
(referencing micropython-lib) by default, but they can also specify the
library name to require another package from that repo/library.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'py/make_root_pointers.py')
0 files changed, 0 insertions, 0 deletions