aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc
diff options
context:
space:
mode:
authorMagnus Henoch <[email protected]>2019-06-12 14:01:17 +0100
committerMagnus Henoch <[email protected]>2019-06-12 14:06:49 +0100
commit1be45363ac9b5ca4370a9769952f6f7641a067ad (patch)
tree7a32c3b72c51643c7a348895ed285810bc488696 /lib/dialyzer/doc
parentcdc4d654777256790b277d24c709dd7e3831c451 (diff)
downloadotp-1be45363ac9b5ca4370a9769952f6f7641a067ad.tar.gz
otp-1be45363ac9b5ca4370a9769952f6f7641a067ad.tar.bz2
otp-1be45363ac9b5ca4370a9769952f6f7641a067ad.zip
Allow native compilation when calling Dialyzer from Erlang
Invoking Dialyzer through the function dialyzer:run/1 instead of from the command line activates "Erlang mode", meaning that warnings are returned instead of printed, and that HiPE compilation of modules does not take place. With this change, HiPE compilation can optionally be enabled in this situation by passing the option {native, true}. Caching of natively compiled modules is enabled by default, but can be turned off using the option {native_cache, false}.
Diffstat (limited to 'lib/dialyzer/doc')
-rw-r--r--lib/dialyzer/doc/src/dialyzer.xml5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 443de7b0dd..8dd814982d 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -537,7 +537,10 @@ Option :: {files, [Filename :: string()]}
'plt_check' |
'plt_remove'}
| {warnings, [WarnOpts]}
- | {get_warnings, bool()}
+ | {get_warnings, boolean()}
+ | {native, boolean()}
+ %% Defaults to false when invoked from Erlang
+ | {native_cache, boolean()}
WarnOpts :: error_handling
| no_behaviours