Skip to content

[release] 9.3.0 backports - #22316

Draft
gares wants to merge 5 commits into
rocq-prover:v9.3from
gares:9.3.0-backports
Draft

[release] 9.3.0 backports#22316
gares wants to merge 5 commits into
rocq-prover:v9.3from
gares:9.3.0-backports

Conversation

@gares

@gares gares commented Jul 28, 2026

Copy link
Copy Markdown
Member

No description provided.

MavenRain and others added 2 commits July 28, 2026 10:44
Cygwin's pkgconf 3.0.4-1 (released 2026-07-26) moved the compiled-in
personality search path to
/usr/lib/pkgconfig/personality.d:/usr/share/pkgconfig/personality.d
(verified via strings on libpkgconf8; the 2.5.1-1 libpkgconf7 used
/etc/pkgconfig/personality.d), but the package still installs the
mingw-w64 personality files under /etc/pkgconfig/personality.d.  As a
result `pkgconf --personality=x86_64-w64-mingw32 gmp` silently falls
back to the native personality, finds no gmp.pc, and exits 1, so
conf-mingw-w64-gmp-{i686,x86_64} and conf-mingw-w64-zlib-x86_64 fail
to install and every Windows CI run has been red since 2026-07-26.

pkgconf also consults $XDG_DATA_DIRS/pkgconfig/personality.d, so
exporting XDG_DATA_DIRS=/etc:/usr/local/share:/usr/share for the
Windows job restores the personality lookup without touching the
Cygwin installation.  Remove when Cygwin ships a fixed pkgconf
packaging.

Signed-off-by: Onyeka Obi <[email protected]>
(cherry picked from commit cc4df6c)
@coqbot-app coqbot-app Bot added the needs: full CI The latest GitLab pipeline that ran was a light CI. Say "@coqbot run full ci" to get a full CI. label Jul 28, 2026
@gares gares changed the title 9.3.0 backports [release] 9.3.0 backports Jul 28, 2026
@gares

gares commented Jul 28, 2026

Copy link
Copy Markdown
Member Author

@coqbot run full ci

@coqbot-app coqbot-app Bot removed the needs: full CI The latest GitLab pipeline that ran was a light CI. Say "@coqbot run full ci" to get a full CI. label Jul 28, 2026
@coqbot-app coqbot-app Bot added the needs: full CI The latest GitLab pipeline that ran was a light CI. Say "@coqbot run full ci" to get a full CI. label Jul 30, 2026
@gares

gares commented Jul 31, 2026

Copy link
Copy Markdown
Member Author

@coqbot run full ci

@coqbot-app coqbot-app Bot removed the needs: full CI The latest GitLab pipeline that ran was a light CI. Say "@coqbot run full ci" to get a full CI. label Jul 31, 2026
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.

3 participants