opam-repository icon indicating copy to clipboard operation
opam-repository copied to clipboard

Draft: Fix gmp homebrew

Open clebreto opened this issue 1 year ago • 2 comments

In a similar fashion to what has been proposed (and accepted for merge) for this PR : https://github.com/ocaml/opam-repository/pull/25592, we provide a fix for macos homebrew distribs.

clebreto avatar Nov 18 '24 13:11 clebreto

Hello! Thanks for working on fixing this package, @clebreto. Is this still WIP, or ready for review and/or needing feedback?

shonfeder avatar Dec 05 '24 12:12 shonfeder

Hi @shonfeder,

Thanks for reaching out.

I would want to wait until this https://github.com/ocaml/opam-repository/pull/26912 goes through the integration process.

If that is ok ? Despite the recent (and pending) MR(s) on opam-repositories related to Macos Homebrew, we had made the fixes about 8 months ago and despite the foggy memories there might be a dependency chain to respect for the CI to ever succeed at this MR.

clebreto avatar Dec 05 '24 13:12 clebreto