@@ -81,9 +81,9 @@ To install Idris:
8181* `stack install`
8282
8383Stack will install Idris (and related executables) into `$HOME/.local/bin/`
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
86−dir>/.stack_work/install/...` so you'll need to keep your source directory
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
86+dir>/.stack_work/install/...` so you'll need to keep your source directory
8787around after you've installed Idris using Stack.
8888
8989Of 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
125125
126126```
127127PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
128−```
128+```
129+
130+## Issue with GHC on Ubuntu/Fedora
131+
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:
135+
136+ <https://gitlab.haskell.org/ghc/ghc/issues/15397>
137+
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:
141+
142+> error while loading shared libraries: libffi.so.7: cannot open shared object file: No such file or directory
143+
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.