summaryrefslogtreecommitdiffstats
path: root/docs/en/erlang.mk/1/guide/dialyzer/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/en/erlang.mk/1/guide/dialyzer/index.html')
-rw-r--r--docs/en/erlang.mk/1/guide/dialyzer/index.html11
1 files changed, 10 insertions, 1 deletions
diff --git a/docs/en/erlang.mk/1/guide/dialyzer/index.html b/docs/en/erlang.mk/1/guide/dialyzer/index.html
index 6a16f1ef..f6c9d188 100644
--- a/docs/en/erlang.mk/1/guide/dialyzer/index.html
+++ b/docs/en/erlang.mk/1/guide/dialyzer/index.html
@@ -10,7 +10,7 @@
<title>Nine Nines: Dialyzer</title>
<link href='https://fonts.googleapis.com/css?family=Open+Sans:400,700,400italic' rel='stylesheet' type='text/css'>
- <link href="/css/99s.css?r=2" rel="stylesheet">
+ <link href="/css/99s.css?r=3" rel="stylesheet">
<link rel="shortcut icon" href="/img/ico/favicon.ico">
<link rel="apple-touch-icon-precomposed" sizes="114x114" href="/img/ico/apple-touch-icon-114.png">
@@ -92,6 +92,15 @@ http://www.gnu.org/software/src-highlite -->
</div></div>
<p>You can use the <code>plt</code> target to create the PLT file if it doesn&apos;t exist. This is normally not necessary as Dialyzer creates it automatically.</p>
<p>The PLT file will be removed when you run <code>make distclean</code>.</p>
+<h2 id="_dialyzing_beam_files">Dialyzing beam files</h2>
+<p>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 <code>DIALYZER_DIRS</code> variable:</p>
+<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8
+by Lorenzo Bettini
+http://www.lorenzobettini.it
+http://www.gnu.org/software/src-highlite -->
+<pre><tt><font color="#009900">DIALYZER_DIRS =</font> -r ebin</tt></pre>
+</div></div>
+<p>This value must be set before including Erlang.mk to function properly.</p>