@@ -64,18 +64,28 @@ contribute.
6464cross-platform program for developing Haskell projects, that enhances
6565the functionality provided by Cabal. There is experimental support for
6666building Idris from source with stack.
67+
6768This installation has been tested on Ubuntu 16.04.1 LTS, and the current
6869NixOS unstable.
6970
70−To build Idris with stack the following commands are recommended:
71+*Important* Stack will not install any external dependencies required
72+to build Idris. Before you try stack please ensure you have the
73+correct depenencies.
74+
75+To build Idris with stack use the following command:
7176
7277* `stack build`
7378
74−This will install Idris (and related executables) into `./local/bin/`
75−on Unix based systems and an appropriate place on Windows. If you
76−haven't used stack before this will also setup the related
77−infrastructure. For more information about Stack please visit the
78−[Stack website](https://github.com/commercialhaskell/stack).
79+To install Idris:
80+
81+* `stack install`
82+
83+Stack will install Idris (and related executables) into `$HOME/.local/bin/`
84+on Unix based systems and an appropriate place on Windows.
85+
86+Of note: If you haven't used stack before commands will also setup the
87+related infrastructure. For more information about Stack please visit
88+the [Stack website](https://github.com/commercialhaskell/stack).
7989
8090On NixOS, please use the following command instead, to make sure
8191the required libraries and header files are available: