Skip to content

Integrate build stdlib-stubs script into micropython stubber. #696

@Josverl

Description

@Josverl

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

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions