aboutsummaryrefslogtreecommitdiffstats
path: root/doc/src
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2018-12-04 17:32:07 +0100
committerLoïc Hoguin <[email protected]>2018-12-04 17:32:07 +0100
commit3acdef8ed9063b07c777970b264cef67592f90ee (patch)
tree8e746cab3cdb90c28ea908c47466f67ff987c043 /doc/src
parent671052aaa9e83ff959b5782387223f7439be41d4 (diff)
downloaderlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.tar.gz
erlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.tar.bz2
erlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.zip
Fix and document Dialyzer against beam files
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/guide/dialyzer.asciidoc13
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/src/guide/dialyzer.asciidoc b/doc/src/guide/dialyzer.asciidoc
index 58fe53f..6031113 100644
--- a/doc/src/guide/dialyzer.asciidoc
+++ b/doc/src/guide/dialyzer.asciidoc
@@ -71,3 +71,16 @@ it doesn't exist. This is normally not necessary as
Dialyzer creates it automatically.
The PLT file will be removed when you run `make distclean`.
+
+=== Dialyzing beam files
+
+By default Erlang.mk will run Dialyzer against the source
+code. It is possible to configure Erlang.mk to use the
+compiled source files instead. This is done using the
+`DIALYZER_DIRS` variable:
+
+[source,make]
+DIALYZER_DIRS = -r ebin
+
+This value must be set before including Erlang.mk to
+function properly.