The Coq mailing list

[Michael Shulman <shulman AT sandiego.edu>]

Is it possible to build the MSWin and/or MacOS binary installers for
Coq on a Linux machine?

An older version of README.win mentioned the possibility of
cross-compiling with mingw, but that's now been replaced with
instructions for building the installer on windows (although I do not
understand the instruction to "Download and unzip in C:\ the SDK for
windows"; the URL https://coq.inria.fr/distrib/current/files/ given
does not list any file labeled "SDK").

I have not been able to find any documentation about building the
MacOS installer at all.

(Reason for my question: I am planning to have my students in a logic
class use Coq, but with only a small set of tactics that I have
written myself to match the proof strategies taught in our textbook.
I would like to customize the "Tactics" menu in CoqIDE so that it will
show these tactics (and only these), so that the students can enter
them by point-and-click instead of having to remember their names and
type them in.  The Tactics menu is hard-coded in ML, but it seems
fairly easy to modify the source code; however I don't want to ask my
students to compile Coq from source themselves!)

Thanks,
Mike