@@ -63,8 +63,8 @@ contribute.
6363[Stack](https://github.com/commercialhaskell/stack) is a new
6464cross-platform program for developing Haskell projects, that enhances
6565the functionality provided by Cabal. There is experimental support for
66−building Idris from source with stack.
67−This installation has been tested on Ubuntu 14.04.2 LTS, and the current
66+building Idris from source with stack.
67+This installation has been tested on Ubuntu 16.04.1 LTS, and the current
6868NixOS unstable.
6969
7070To build Idris with stack the following commands are recommended:
@@ -96,9 +96,9 @@ option flags needs to be fully commented out.
9696There have been reports in the past over building Idris on Mac OS X,
9797using stack, and linking to a HomeBrew installation of `libFFI`. The
9898build has failed to find the correct `libFFI` installation. If you
99−encounter this then the fix is to augment the `PKG_CONFIG_PATH` when
100−running the stack build:
99+encounter this then the fix is to augment the `PKG_CONFIG_PATH` for
100+`libFFI`. For example:
101101
102102```
103−PKG_CONFIG_PATH=/usr/local/Cellar/libffi/3.0.13/lib/pkgconfig stack build
103+PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
104104```