search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

Consider using MSYS2 instead of Cygwin #24

Open simnalamburt opened 8 years ago

simnalamburt commented 8 years ago

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
simnalamburt commented 8 years ago

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