Generating files.json is no longer callable

[JanDoerrenhaus]

There used to be a gen-files-json.py utility script in the bin folder, which was removed, and the functionality moved over to the tools/flare.py script. However, this functionality is not directly exposed yet.

Please make the files.json generation available again.

[phorward]

Hello @JanDoerrenhaus, thank you for filing this issue.

Re-generating the files.json becomes part of the pull request #46, which is currently a work-in-progress.

Nevertheless, we should observe further development in Pyodide, regarding external Python package loading without using any files.json. See Pyodide issue #1917 and discussion #1876 for example.