ITADN

Integrate build stdlib-stubs script into micropython stubber.

#696OpenJosverl 创建于 2025-11-03
enhancement
J
Josverlcommented
Currently micropython-stdlib-stubs package is created by a stand alone python script in the stubs repo. it would be simpler if this script would be part of the MicroPython stubber tool in this repo https://github.com/Josverl/micropython-stubs/blob/main/publish/micropython-stdlib-stubs/build.py https://github.com/Josverl/micropython-stubs/blob/main/publish/micropython-stdlib-stubs/README.md - [ ] integrate this as a seperate command in stubber - [ ] options for fetch typeshed , - [ ] need to find a sensible option to build and publish withouth duplicating effots , possibly accep 'stdlib' as the name of the port to build ? - [ ] add tests - [ ] validate
0 条评论