Stream: Coq devs & plugin devs

Topic: osx CI not happy


view this post on Zulip Gaƫtan Gilbert (Aug 04 2021 at 11:41):

eg https://github.com/coq/coq/runs/3240184874

The following system packages will first need to be installed:
    expat libxml2

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><>  šŸ«
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] n
This command should get the requirements installed:

    brew install expat libxml2

view this post on Zulip Gaƫtan Gilbert (Aug 09 2021 at 11:38):

ping osx ci people

view this post on Zulip Ali Caglayan (Aug 09 2021 at 12:06):

I submitted a patch, let's see if it works: https://github.com/coq/coq/pull/14757

view this post on Zulip Ali Caglayan (Aug 09 2021 at 12:16):

Seems to work on my fork


Last updated: Oct 15 2021 at 19:03 UTC