@@ -92,6 +92,17 @@ the required libraries and header files are available:
9292
9393* `stack build --nix`
9494
95+### before rebuilding new pulls
96+the default build will currently just reuse `.ibc` files which can result
97+in build-failures in the `Building libraries...` phase.
98+
99+A safer way to do this is therefore to recursively delete all the `*.ibc`
100+files from the `libs/` folder.
101+
102+On Linux(or similar) you can do this with
103+
104+ find . -name "*.ibc" -exec rm -rf {} \;
105+
95106### System GHC
96107
97108The flag `--system-ghc` can be added to enforce use of your system's
@@ -111,4 +122,4 @@ encounter this then the fix is to augment the `PKG_CONFIG_PATH` for
111122
112123```
113124PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
114−```
125+```