From 3acdef8ed9063b07c777970b264cef67592f90ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 4 Dec 2018 17:32:07 +0100 Subject: Fix and document Dialyzer against beam files --- doc/src/guide/dialyzer.asciidoc | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'doc') 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. -- cgit v1.2.3