Consider using MSYS2 instead of Cygwin

[simnalamburt]

Note: I'm not a student of SNU 4190.310, 2016 Fall class.

MSYS2 project is a fork of cygwin project. Cygwin doesn't even have a proper package manager and its packages are not as well-maintained as msys2 does. Using Cygwin to emulate Linux user experience in Windows is not good practice to teach to students.

MSYS2 installer: http://msys2.github.io

MSYS2 uses pacman package manager developed for Arch Linux, which is far more better than selecting packages manually using setup.exe of cygwin.

References

• https://sourceforge.net/p/msys2/wiki/How%20does%20MSYS2%20differ%20from%20Cygwin/
• Setup instructions from Max Plank Institute

[simnalamburt]

Looks like OPAM does not support Windows environment properly yet, but I just confirmed that it's able to compile OPAM in msys2. (mingw-w64-x86_64)

Making pacman package is not that hard, and it's worth work for student to study coq easy. Since MSYS2 project is far more active than Cygwin, it won't take long to publish mingw-w64-opam package to public MSYS2 registry.

References

• https://wiki.archlinux.org/index.php/creating_packages
• https://github.com/Alexpux/MINGW-packages
• https://fdopen.github.io/opam-repository-mingw/
• http://lists.ocaml.org/listinfo/wg-windows