Nikolaj Bjorner

From what I can tell the current build breaks appear to be external.

Thanks!! I updated the package name but not the import name Now, to keep things consistent, renamed directory, package and import names. Fingers crossed.

thanks for hint about pre-commit. I ran across it somewhere earlier today but didn't make the association (I am weak on using tools).

Note ``` pyodide_test_runner.browser.JavascriptException: PythonError: Traceback (most recent call last): E File "", line 13, in __tmp E File "/root/repo/packages/z3solver/test_z3solver.py", line 10, in test_z3_socrates E File "/lib/python3.10/site-packages/z3/__init__.py", line 1, in E...

appreciated, giving it a spin. Also possible that setup.py isn't prepared correctly https://github.com/Z3Prover/z3/blob/2c8df54b70f5456efd0b2c3f4917d2b314098f19/src/api/python/setup.py#L53 Pardon the fumbling.

> disable threading Seems indeed to be an astute observation. The local WASM / JS / TS build sets Z3_SINGLE_THREADED=True

It might take some overall tax on the build time, what seems to be about 5 threads. ``` [73/88] (thread 2) built ffmpeg in 616.90 s [53/88] (thread 1) built...

I am pretty stuck trying to get this tested locally. 1. github container with a fork fails a build step: Generated '5' Generated '/workspaces/pyodide/packages/z3solver/build/z3solver-4.9.1.0/core/build/python/z3/z3core.py' [100%] Built target build_z3_python_bindings em++: error:...

It is difficult to express how much I appreciate getting the hint "docker run -it -v%cd%:/src pyodide/pyodide-env:20220629-py310-chrome102-firefox100 /bin/bash". The fact that docker desktop starts with /bin/sh by default is not...

Pretty sure I even tried this before posting the latest nudnik message. While it sounds very reasonable, I don't think it works. ``` root@91dee40cc444:/src# pip install pyodide-test-runner ERROR: Could not...