The Coq mailing list

[Michael Soegtrop <MSoegtrop AT yahoo.de>]

Hello David,

this is exactly the kind of problem I try to solve with the Coq platform 
project.

https://github.com/MSoegtropIMC/coq-platform

This is essentially a script and a set of opam patches which installs a 
well known version of Coq and various packages on a wide range of 
platforms. It is currently in alpha, but it should work on Mac with 
homebrew and Macports as long as opam is already installed. I mostly 
test on Mac with Macports.

Usage is:

clone the above git repo (master is fine if you want Coq 8.12.0)

run coq_platform_make.sh

You might want to review the opam install commands at the end of the 
script and remove things you don't need.

Running the script will always create a new opam switch, so it should 
not mess up anything in your existing work environment. See the ReadMe 
in the above repo.

It does install Flocq successfully on Mac and Windows (for me and a few 
other testers). I will release the Ubuntu version tomorrow.

If you have any issues with this, please create an issue at the above 
Git repo and/or ping me on Zulip.

Best regards,

Michael