@@ -63,8 +63,8 @@ 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 with stack.
66+building Idris from source with stack.
67−This installation has been tested on Ubuntu 14.04.2 LTS, and the current
67+This installation has been tested on Ubuntu 16.04.1 LTS, and the current
68NixOS unstable.
68NixOS unstable.
70To build Idris with stack the following commands are recommended:
70To build Idris with stack the following commands are recommended:
@@ -96,9 +96,9 @@ option flags needs to be fully commented out.
96There have been reports in the past over building Idris on Mac OS X,
96There have been reports in the past over building Idris on Mac OS X,
97using stack, and linking to a HomeBrew installation of `libFFI`. The
97using stack, and linking to a HomeBrew installation of `libFFI`. The
98build has failed to find the correct `libFFI` installation. If you
98build has failed to find the correct `libFFI` installation. If you
99−encounter this then the fix is to augment the `PKG_CONFIG_PATH` when
99+encounter this then the fix is to augment the `PKG_CONFIG_PATH` for
100−running the stack build:
100+`libFFI`. For example:
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