Marcello Seri
Marcello Seri
I need to check all the packages in the comment above, ensure that they link properly and that their reverse dependencies all still work. Once they all have a checkmark,...
There is a PR in zarith to use pkg-config for gmp, which will also align it to this PR
I will try to take some time to continue, but this is completely manual work and takes a lot of time for each package. I am not sure when I...
the change to make zarith use pkg-config has been merged in the meantime (https://github.com/ocaml/Zarith/pull/132) and published in zarith 1.13 ([release-1.13](https://github.com/ocaml/Zarith/releases/tag/release-1.13))
I think I can refresh this PR with the suggestion from @avsm in https://github.com/ocaml/opam-repository/pull/24133
The latest zarith builds with pkg-config. Next week I am going to revise this. All revdeps I tested seem to be working fine
@geralt-encore it seems to work fine. If you have time to edit this to remove the patched zarith and to move the test files to the opam-sources-archive repository (they mat...