Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use git mirror instead of mercurial for gmp (#392)
cheribuild/pycheribuild/projects/cross/gmp.py is are using MercurialRepository with a repository of repository = MercurialRepository("https://gmplib.org/repo/gmp"). However, the host for this (quite rightly) blocks certain large IP ranges, namely all of Azure and Github Actions runners, this causes any build that has GMP as a dependency to fail. There is a well maintained mirror hosted on github at https://github.com/gmp-mirror/gmp which maintains the entire hg repositories commit history and contains some additional branches.
- Loading branch information