Configure zarith and gmp with pkg-config on macOS with homebrew/macports - #22954

Configure zarith and gmp with pkg-config on macOS with homebrew/macports#22954

artempyanykh wants to merge 4 commits into

ocaml:masterocaml/opam-repository:masterfrom

artempyanykh:fix-zarith-gmpartempyanykh/opam-repository:fix-zarith-gmpCopy head branch name to clipboard