Skip to content

Hero and docs runtimes take env_set from boarddev (lands with the wasm rebuild) - #17

Merged
bdbarnett merged 2 commits into
mainfrom
env-to-boarddev
Oct 8, 2026
Merged

bdbarnett merged 2 commits into
mainfrom
env-to-boarddev

Conversation

@bdbarnett

@bdbarnett bdbarnett commented Oct 7, 2026 •

Copy link
Copy Markdown
Contributor

PyDevices/pydevices#131 moves env_get, env_int, env_float, env_bool and env_set from displaydev to boarddev as a hard break. The hero runtime, the docs runtime, watch.py and signal_gen.py now import them from boarddev.

This also vendors the wasm runtime those imports need: vendor/micropython/micropython.{mjs,wasm} rebuilt by micropython-pydevices at 59cb3bd, which freezes pydevices 0.7.0 (the env helpers in boarddev), lvgl-micropython without its own display_driver, pygraphics 0.1.0 and audiodsp with the webassembly audiometer fix. The two halves have to land together: the old runtime has no boarddev.env_set, and the new runtime has no displaydev.env_set.

Its .provenance names every checkout relative to the workspace, with no absolute home paths.

Ran in Chromium (Playwright), served by tools/serve_local.py: every hero page in this site (the portal and 19 repo pages) reaches phase: ready in window.__pydevicesHeroes, its canvas draws, and the console has no errors. The three heroes that other sites serve (package_matrix, benchmark_deck, polyhedron) were run in the same runtime and also reach ready and draw. With the old runtime and this branch's JavaScript, the same check fails on every page with ImportError: can't import name env_set.

The examples gallery boots this site's wasm too, so the env-using examples there start working once this lands.

pydevices moved env_get, env_int, env_float, env_bool and env_set from
displaydev to boarddev with no re-export (a hard break). The pages run on
the vendored wasm with pydevices frozen in, so this lands with the wasm
rebuild that freezes the new pydevices, not before.
@bdbarnett

Copy link
Copy Markdown
Contributor Author

These files are generated from PyDevices/.github (scripts/generate_sites.py copies them). Its PR is PyDevices/.github#62, and the files here are byte-identical to its versions (cmp). Merge both together, with the wasm rebuild.

Built by micropython-pydevices at 59cb3bd: pydevices 0.7.0 (the env helpers
in boarddev), lvgl-micropython without its own display_driver, pygraphics
0.1.0 and audiodsp with the webassembly audiometer fix.
@bdbarnett
bdbarnett merged commit eb5db2b into main Oct 8, 2026
@bdbarnett
bdbarnett deleted the env-to-boarddev branch October 8, 2026 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant