diff options
| author | Magnus Henoch <[email protected]> | 2019-06-12 14:01:17 +0100 |
|---|---|---|
| committer | Magnus Henoch <[email protected]> | 2019-06-12 14:06:49 +0100 |
| commit | 1be45363ac9b5ca4370a9769952f6f7641a067ad (patch) | |
| tree | 7a32c3b72c51643c7a348895ed285810bc488696 /lib/dialyzer/doc | |
| parent | cdc4d654777256790b277d24c709dd7e3831c451 (diff) | |
| download | otp-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.xml | 5 |
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 |