idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity

added hint to get around build failures due to old ibc files

Browse Source 
had this right now when updating to 0.99.2 - some `pruviloy` lib did suddenly fail to type check because it did not recognize a `Unit`
This commit is contained in:
Carsten König 2017-03-29 18:55:03 +02:00 committed by GitHub
parent 44035ac1f9
commit d552eefa40
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
INSTALL.md
View File

@ -92,6 +92,17 @@ the required libraries and header files are available:
* `stack build --nix`
### before rebuilding new pulls
the default build will currently just reuse `.ibc` files which can result
in build-failures in the `Building libraries...` phase.
A safer way to do this is therefore to recursively delete all the `*.ibc`
files from the `libs/` folder.
On Linux(or similar) you can do this with
find . -name "*.ibc" -exec rm -rf {} \;
### System GHC
The 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
```
PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig stack build
```
```