Skip to content

RFC: Providing libraries as Emscripten external ports #315

Description

@ryanking13

This is a kind of reviving my proposal in pyodide/pyodide#2805.

As people will (hopefully) start to build and publish their python packages to PyPI after PEP 783 adoption. I think it would be useful for us to provide a way to build shared library dependencies easily.

When I proposed pyodide/pyodide#2805, there wasn't a official way to do this. But now emscripten has a concept of "External Ports", where people can specify how to build libraries from remote path.

So I think what we can do is to

  1. Create a new repository that stores all the shared libraries and the build script.
  2. Add the "external port" script for each library in pyodide-build
  3. Provide a new sub command in pyodide-build that create a CLI flag that builds each port

WDYT?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions