@riban-bw You may be interested (or not) - I use the WLS ( Windows Linux Subsystem) on Windows 10. To run make, I just use the command line script m.cmd which invokes bash thus: bash -c ". m.sh", where m.sh has a few lines that export some variables and runs make. It works quite well for my purposes; I have been thinking of sharing the technique but didnt get around to it. Like others, the chocolately thing didnt work for me.