aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer.hrl
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/src/dialyzer.hrl
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/src/dialyzer.hrl')
-rw-r--r--lib/dialyzer/src/dialyzer.hrl4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl
index 4a12b9b671..e1821f10eb 100644
--- a/lib/dialyzer/src/dialyzer.hrl
+++ b/lib/dialyzer/src/dialyzer.hrl
@@ -160,7 +160,9 @@
indent_opt = ?INDENT_OPT :: iopt(),
callgraph_file = "" :: file:filename(),
check_plt = true :: boolean(),
- solvers = [] :: [solver()]}).
+ solvers = [] :: [solver()],
+ native = maybe :: boolean() | 'maybe',
+ native_cache = true :: boolean()}).
-record(contract, {contracts = [] :: [contract_pair()],
args = [] :: [erl_types:erl_type()],