apskii

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

1

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...

After providing make manually, I have the following errors: ``` ################################################################### # # # # # C A U T I O N # # # # This is first...