Windows 7: setup.exe - make - does not exist

[apskii]

In the end (strictly I'm not sure it is) of installation:

[1 of 1] Compiling Main             ( dist\setup\setup.hs, dist\setup\Main.o )
Linking .\dist\setup\setup.exe ...
Configuring idris-0.9.15.1...
setup.exe: make: does not exist

[steshaw]

I had the same issue. I found that I had to add /mingw32/bin to my PATH. The last few lines in my .bash_profile look something like:

#export LC_ALL=C
export PATH=/mingw32/bin:$PATH
export PATH=/ghc-7.8.3/bin:$PATH
export PATH=$HOME/bin:$PATH
export PATH=/c/Users/IEUser/AppData/Roaming/cabal/bin:$PATH