couchdb-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
Subject [06/50] rebar commit: updated refs/heads/import to 5dea85d
Date Wed, 23 Sep 2015 12:29:00 GMT
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.


Branch: refs/heads/import
Commit: 1420a85670d959c95ca51eb8ad8d90f9e2bc11b7
Parents: 9455bc5
Author: Derek Brown <>
Authored: Thu Aug 7 13:27:12 2014 -0400
Committer: Derek Brown <>
Committed: Mon May 11 16:50:28 2015 -0400

---------------------------------------------------------------------- | 8 ++++++++
 1 file changed, 8 insertions(+)
diff --git a/ b/
index 78ebf09..9c88baf 100644
--- a/
+++ b/
@@ -76,6 +76,14 @@ To do that, run `make check`. If you didn't build via `make debug` at first,
 and [Dialyzer](, causing a test 
 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`)
+fail- the output will indicate `"Could not read PLT file"`, including the path it tried to
+See the [Dialyzer man page]( or [this further
explanation]( 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  

View raw message