search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

CI: `gmp` download used in `yices` build is flaky #44

Closed RyanGlScott closed 10 months ago

RyanGlScott commented 10 months ago

The yices CI build fails on a somewhat regular basis due to https://gmplib.org/download/gmp/gmp-6.2.1.tar.lz timing out when downloaded. An example can be seen here:

+ curl -o gmp.tar.lz -sL https://gmplib.org/download/gmp/gmp-6.2.1.tar.lz
Error: Process completed with exit code 28.

We should either use a mirror or see if we can build against the version of gmp offered by each OS's package manager.

RyanGlScott commented 10 months ago

This commit (from #11) suggests that the gmp download was originally added in the first place to support building yices on Windows. I should check to see if that workaround is still required.

RyanGlScott commented 10 months ago

This article suggests that the GMP project is intentionally firewalling Microsoft IP addresses to prevent their servers from being DDOS'ed by GitHub Actions jobs that download from GMP's servers. Fair enough.

Per this comment, there also is a mirrored link at https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.lz that appears more reliable. In fact, yices's own CI is using it (see here).