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