tools/build.py: Add "path" entry to index.json. #910
Conversation
|
@mattytrentini hopefully this is what's needed for mim. |
This points to the package's base directory of the within the micropython-lib directory structure. Signed-off-by: Damien George <[email protected]>
dpgeorge
force-pushed
the
tools-build-add-package-path-to-index
branch
from
9c1e3c3 to
910af18
Compare
|
@dpgeorge This looks like it should do the trick, I'll try this out to generate the json and insert it into mim to sanity check the path but should be great. For reference, mim currently uses https://wb5lsudgvpt4f4j4pxomg5z3ui0dcgjt.lambda-url.ap-southeast-2.on.aws/ for the current proof of concept, where we've injected the |
Utilise official parameter in the JSON as implemented in micropython/micropython-lib#910
|
Added support for this parameter into mim and generated the json from this repo to test against and found it to be working as expected (from the spot checks I did), including things like finding the |
|
@HowManyOliversAreThere thanks for testing, great that it works! Now merged. |
|
@dpgeorge when will this appear at https://micropython.org/pi/v2/index.json? I had thought it would update the build machine overnight but I'm seeing v1... |
This points to the package's base directory of the within the micropython-lib directory structure.