Skip to content

pyvex: Add version 9.3.3 - #2318

Merged
luhenry merged 2 commits into
mainfrom
pyvex
Sep 26, 2026
Merged

luhenry merged 2 commits into
mainfrom
pyvex

Conversation

@luhenry

@luhenry luhenry commented Sep 25, 2026 •

Copy link
Copy Markdown
Member

Compiles the vendored VEX lifter (C) into libpyvex.so, loaded through cffi. Upstream publishes no riscv64 wheel.

Mirrors upstream's angr-release.yml.

Differs from upstream

  • Builds from the tag checkout, not the release job's sdist - same sources, and the tests are not in the sdist.
  • No rustup/libucontext before-all - those serve angr, which shares the release job.
  • manylinux only.

Matrix: one cp312-abi3 wheel, tested on cp312/cp313/cp314; no cp314t, as upstream.

Testing

  • pytest tests with the dev group, as upstream's cibuildwheel (pyodide) config.

License: Wheel bundles VEX (GPL-2.0-only) alongside pyvex (BSD-2-Clause); upstream's licence files for both ship in the wheel.

Built on cp312; 64 passed, 0 skipped.

luhenry added a commit that referenced this pull request Sep 25, 2026
@github-actions

github-actions Bot commented Sep 25, 2026 •

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-09-26 08:22 UTC

cffi and bitarray have no musllinux riscv64 wheel on PyPI or our
registry, so PIP_ONLY_BINARY=:all: made the musllinux test install fail.
Split the job per libc and, on musllinux, restrict only-binary to tibs so
cffi and bitarray build from sdist while bitstring still resolves to
4.3.1 as on manylinux.
@luhenry
luhenry merged commit c51e652 into main Sep 26, 2026
10 checks passed
@luhenry
luhenry deleted the pyvex branch September 26, 2026 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant