Closed ejgallego closed 4 years ago
@garrigue no idea what is going on here; would you mind cleaning all the Travis caches? [I lack the permissions to do so]
Maybe we should switch to macports?
I did re-run the test after deleting all the travis caches, but I still get the same error. If there is a way to use macports, then I can confirm it is much more usable for pkg-config.
I did re-run the test after deleting all the travis caches, but I still get the same error.
It is really puzzling, as there is no error message in the log :S neither a long enough timeout.
Ok, I think I understand the problem now, we must force an wget
update for brew as the installed version on the Travis image seems bad w.r.t. Let's Encrypt certs.
Brew recipe for OPAM turns out to be problematic [certificate problems] so we install directly from the upstream binary package.