From 3459fae23a1b652992da540374e82058d69aab04 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?=
Dialyzer can generate this PLT file. Erlang.mk includes rules to automatically generate the PLT file when it is missing.
Once the PLT file is generated, Dialyzer can perform the -analysis in record time.
In a typical usage scenario, no variable needs to be set. +analysis in record time.
In a typical usage scenario, no variable needs to be set.
The defaults should be enough. Do note however that the
dependencies need to be set properly using the DEPS
and
LOCAL_DEPS
variables.
The DIALYZER_PLT
file indicates where the PLT file will
@@ -59,7 +59,7 @@ The former one defines which directories should be part
of the analysis. The latter defines what extra warnings
Dialyzer should report.
Note that Erlang.mk enables the race condition warnings by default. As it can take considerably large resources -to run, you may want to disable it on larger projects.
To perform an analysis, run the following command:
$ make dialyze
This will create the PLT file if it doesn’t exist.
The analysis will also be performed when you run the +to run, you may want to disable it on larger projects.
To perform an analysis, run the following command:
$ make dialyze
This will create the PLT file if it doesn’t exist.
The analysis will also be performed when you run the following command, alongside tests:
$ make check
You can use the plt
target to create the PLT file if
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
.