install Idris lang in Windows

Install Idris lang on Windows

1) install haskell platform and mingw
2) run mingw shell
3) cabal update 
# cabal from the latest haskell platform is 1.16 but we need >= 1.18 to use sandboxes so:
4) cabal install cabal-install
5) put C:\Users\<your user name>\AppData\Roaming\cabal\bin in your PATH
6) test cabal version with cabal -V (you may need to restart the mingw shell)
7) download sources from https://github.com/idris-lang/Idris-dev/archive/v0.9.12.zip and extract to in c:/dev/haskell/idris
8) cd /c/hasell/idris
we will install idris in a cabal sandbox to make shure it is a clean start
9) cabal sandbox init
10) cabal install

any feedback would be much appreciated

I tried again to install Idris on another "fresh" machine with Windows 8 on it. I'm glad to report that I finally succeeded to install Idris. Some remarks:

• Although my PATH pointed to C:\Users\<your user name>\AppData\Roaming\cabal\bin the "old" version of cabal got called; good to know that cabal -V returns the version in use for checking that. I had to prefix the call to cabal (in the shell called by msys.bat) with the directory path to get the new version running.

$ /c/Users/<your user name>/AppData/Roaming/cabal/bin/cabal install

• For some strange reason cc was not executed on my machine. I added MinGW to my environment variables with C:\MinGW\bin;C:\MinGW\msys\1.0\bin;C:\MinGW;C:\MinGW\msys\1.0 and added %MinGW% to PATH
• The installation process stopped when it tried to use the Header file of pthreads. After I selected and installed mingw32-pthreads-w32 in the MinGW Installation Manager and rerun cabal the installation of Idris was successfull.
• The executable lives in a hidden directory: C:\dev\haskell\idris\.cabal-sandbox

Thanks a lot for your support!