diff options
author | Derek Brown <derekbrown121@gmail.com> | 2014-08-07 13:27:12 -0400 |
---|---|---|
committer | Derek Brown <derekbrown121@gmail.com> | 2015-05-11 16:50:28 -0400 |
commit | 1420a85670d959c95ca51eb8ad8d90f9e2bc11b7 (patch) | |
tree | 5be5c3e43fdf7f885fce2ef51cf196f70960f7bb /CONTRIBUTING.md | |
parent | 9455bc5f5e168a869acae731cea5368602d95b4e (diff) | |
download | rebar-1420a85670d959c95ca51eb8ad8d90f9e2bc11b7.tar.gz |
Add details on Dialyzer with "make check"
If Dialyzer hasn't been used on an account before, there won't be a PLT
file and "make check" will fail. Added info on that fact.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 78ebf09..9c88baf 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -76,6 +76,14 @@ To do that, run `make check`. If you didn't build via `make debug` at first, the and [Dialyzer](http://www.erlang.org/doc/man/dialyzer.html), causing a test failure. If that happens, running `make clean` before running `make check` could solve the problem. + +Dialyzer requires a PLT (Persitent Lookup Table) to work with. By default, it will look for +`$HOME/.dialyzer.plt` (alternatively, the `DIALYZER_PLT` environment variable can be set +to point to a different location). If a PLT file cannot be found, Dialyzer (via `make check`) will +fail- the output will indicate `"Could not read PLT file"`, including the path it tried to use. +See the [Dialyzer man page](http://www.erlang.org/doc/man/dialyzer.html) or [this further explanation](http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.html) for details on creating the initial +PLT file. + If you change any of the files with known but safe to ignore Dialyzer warnings, you may have to adapt the line number(s) in [dialyzer_reference](dialyzer_reference). If you do that, do not remove the |