Unable to build riscv64 wheels

[markdryan]

To reproduce, I cloned the repo and checked out the latest release tag. Then on a VisionFive 2 running Ubuntu 24.04 I type

python3 -m venv venv
. venv/bin/activate
pip install --upgrade pip
pip install setuptools wheel build auditwheel
cd src/api/python
python -m build --wheel

and I get the following error

* Building wheel...
running bdist_wheel
Traceback (most recent call last):
  File "/home/ubuntu/code/z3/venv/lib/python3.12/site-packages/pyproject_hooks/_in_process/_in_process.py", line 389, in <module>
    main()
  File "/home/ubuntu/code/z3/venv/lib/python3.12/site-packages/pyproject_hooks/_in_process/_in_process.py", line 373, in main
    json_out["return_val"] = hook(**hook_input["kwargs"])
                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/ubuntu/code/z3/venv/lib/python3.12/site-packages/pyproject_hooks/_in_process/_in_process.py", line 280, in build_wheel
    return _build_backend().build_wheel(
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/build_meta.py", line 435, in build_wheel
    return _build(['bdist_wheel'])
           ^^^^^^^^^^^^^^^^^^^^^^^
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/build_meta.py", line 426, in _build
    return self._build_with_temp_dir(
           ^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/build_meta.py", line 407, in _build_with_temp_dir
    self.run_setup()
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/build_meta.py", line 320, in run_setup
    exec(code, locals())
  File "<string>", line 323, in <module>
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/__init__.py", line 117, in setup
    return distutils.core.setup(**attrs)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/_distutils/core.py", line 186, in setup
    return run_commands(dist)
           ^^^^^^^^^^^^^^^^^^
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/_distutils/core.py", line 202, in run_commands
    dist.run_commands()
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/_distutils/dist.py", line 1002, in run_commands
    self.run_command(cmd)
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/dist.py", line 1104, in run_command
    super().run_command(command)
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/_distutils/dist.py", line 1020, in run_command
    cmd_obj.ensure_finalized()
  File "/tmp/build-env-bvc8fke7/lib/python3.12/site-packages/setuptools/_distutils/cmd.py", line 135, in ensure_finalized
    self.finalize_options()
  File "<string>", line 319, in finalize_options
KeyError: ('linux', 'riscv64')

ERROR Backend subprocess exited when trying to invoke build_wheel

This is on Ubuntu 24.04 with Python 3.12, but I also see the same issue with Ubuntu 22.04 and Python 3.8. I'm able to build riscv64 wheels for earlier releases of z3, e.g., z3-4.12.2, without issue.

It looks like the TAGS dict in setup.py is missing entries for riscv64. Is this intentional?

[NikolajBjorner]

It looks like the TAGS dict in setup.py is missing entries for riscv64. Is this intentional?

No. Could you add a PR to include it and optionally update the Github actions for RISC builds to include the step where wheels are built?

[NikolajBjorner]

could you check if the update addresses the core issue?

[markdryan]

Yes it should do. I applied a similar patch which allowed me to build a 4.14.1.0 wheel for riscv64.

[NikolajBjorner]

thanks