Little text about CI flag
commit09038deebd54a28b678f5f28034004572ea2c0a0
authorNorbert Melzer <timmelzer@gmail.com>
dateSun 4 Jan 2015, 18:20 (12 years ago)
parent9892636
README.md+6
@@ -37,6 +37,12 @@ To build with `libffi` by default, create a `custom.mk` file and add the followi
3737
3838The file custom.mk-alldeps is a suitable example.
3939
40+The continues integration builds on travis-ci.org are build using the ghc-flag -Werror. To enable this behaviour locally also, please compile using `make CI=true` or adding the following line into `custom.mk`:
41+
42+`CI = true`
43+
44+If you are only compiling for installing the most current version, you can ommit the CI flag, but please make sure you use it if you want to contribute.
45+
4046## Code Generation
4147
4248Idris has support for external code generators. Supplied with the distribution