+ notes: '1 Linux wheel upstream: pyre_check-0.10.0-py3-none-manylinux1_x86_64.whl, a py3-none-any wheel renamed by scripts/pypi/build_pypi_package.py (inner WHEEL Tag: py3-none-any). Its only arch content is one x86_64 OCaml executable, data/bin/pyre.bin (131 MB, e_machine 62, OCaml 4.14.2, GCC 11.5). It is not a multi-arch bundle and not a dispatcher. Source is public (MIT). facebook/pyre-check was archived in June 2026; 0.10.0 comes from facebook/Pysa tag v0.10.0, and the PyPI upload was made from f3057a5 a day later, a packaging-only commit that renames the module to Pysa. Feasible, same shape as the published semgrep port (gotcha 95). scripts/setup.py pins ocaml-variants.4.14.2+options with flambda; 4.14.2 configure.ac maps riscv64-*-linux* to arch=riscv. Ubuntu noble ships opam 2.1.5 for riscv64, which mirrors upstream''s apt opam. The deps are core v0.16.2, re2 (vendored RE2, which falls back to generic barriers), pyre-ast (vendors CPython 3.12 and builds it with ./configure), capnp (generated .ml is checked in) and lwt/menhir/yojson, and none of them uses core_unix or ocaml_intrinsics. Two real riscv64 defects in hack_parallel hh_shared.c are fixed by a patch. (1) The spin-wait falls back to x86 `pause`, which does not assemble on rv64gc without Zihintpause (checked with clang); the patch emits it with .insn. (2) The shared heap is mapped with MAP_FIXED at 0x500000000000 (80 TiB), outside Sv39''s 256 GiB (gotcha 572); the patch moves it to 0x1000000000 on riscv64. The packaging script also needed the riscv64 ld.so and a manylinux_2_39_riscv64 suffix. The Python packaging step was rehearsed on x86 with setuptools<70 and wheel==0.38.4, and its metadata and layout match the released wheel. Runtime deps resolve for cp312 (pyrefly, libcst, lxml, psutil and nh3 from PyPI or our registry; testslide is pure Python and installs from its sdist). The test is upstream''s deliberately_vulnerable_flask_app Pysa integration test, run against the installed wheel. Draft PR #2661, first CI run 37104401350.'
0 commit comments