@@ -63,9 +63,9 @@ contribute.
63[Stack](https://github.com/commercialhaskell/stack) is a new
63[Stack](https://github.com/commercialhaskell/stack) is a new
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
66−building Idris from source using with stack, that uses the LTS 3.16
66+building Idris from source with stack.
67−resolver. This installation has been tested on Ubuntu 14.04.2 LTS,
67+This installation has been tested on Ubuntu 14.04.2 LTS, and the current
68−only.
68+NixOS unstable.
70To build Idris with stack the following commands are recommended:
70To build Idris with stack the following commands are recommended:
@@ -77,6 +77,11 @@ haven't used stack before this will also setup the related
77infrastructure. For more information about Stack please visit the
77infrastructure. For more information about Stack please visit the
78[Stack website](https://github.com/commercialhaskell/stack).
78[Stack website](https://github.com/commercialhaskell/stack).
80+On NixOS, please use the following command instead, to make sure
81+the required libraries and header files are available:
80### System GHC
85### System GHC
82The flag `--system-ghc` can be added to enforce use of your system's
87The flag `--system-ghc` can be added to enforce use of your system's