Ah of course. You need an internet connection to install mingw32-make through RTools.
Can you try the steps I posted here for manually installing mingw32-make: Configure Rtools40 for CMDSTAN - #2 by andrjohns
1 Like