@@ -81,9 +81,9 @@ To install Idris:
81* `stack install`
81* `stack install`
83Stack will install Idris (and related executables) into `$HOME/.local/bin/`
83Stack will install Idris (and related executables) into `$HOME/.local/bin/`
84−on Unix based systems and an appropriate place on Windows. The libraries that
84+on Unix based systems and an appropriate place on Windows. The libraries that
85−are included with Idris (e.g. Builtins, Prelude) will 'install' into `<source
85+are included with Idris (e.g. Builtins, Prelude) will 'install' into `<source
86−dir>/.stack_work/install/...` so you'll need to keep your source directory
86+dir>/.stack_work/install/...` so you'll need to keep your source directory
87around after you've installed Idris using Stack.
87around after you've installed Idris using Stack.
89Of note: If you haven't used stack before commands will also setup the
89Of note: If you haven't used stack before commands will also setup the
@@ -125,4 +125,20 @@ encounter this then the fix is to augment the `PKG_CONFIG_PATH` for
127PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
127PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
130+## Issue with GHC on Ubuntu/Fedora
132+There is an upstream issue with GHC on some Ubuntu and Fedora machines.
133+The issue is that for GHC versions greater than 8.4.X linking to libFFI is broken.
134+See the following GHC issue page for more information:
136+ <https://gitlab.haskell.org/ghc/ghc/issues/15397>
138+This means that an Idris built with `libFFI` support will fail at runtime as the executable would not be able to find the correct `libffi` shared object.
139+This will cause the build to fail.
140+Specifically, one will see an error message along the lines of:
142+> error while loading shared libraries: libffi.so.7: cannot open shared object file: No such file or directory
144+We have supplied an alternative stack configuration file (`stack-alt.yaml`) that will use a version of GHC prior to the upstream issue being introduced.