diff options
author | Björn Gustavsson <[email protected]> | 2015-05-29 10:52:04 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2015-05-29 10:52:04 +0200 |
commit | 6635bfa7c480d33d43874f4b37b7c461ba04db23 (patch) | |
tree | 262a0c6a6cfd507a3e8afb40a29d849d044b09dc /lib/dialyzer/src/dialyzer_cl_parse.erl | |
parent | eca01e7621918cb81535d0243d28adcc8dfbba34 (diff) | |
parent | 0f5916b35938c983cd5a4a9931730a5e554358f3 (diff) | |
download | otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.tar.gz otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.tar.bz2 otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.zip |
Merge branch 'legoscia/dialyzer/cache-hipe-binaries/OTP-12779'
* legoscia/dialyzer/cache-hipe-binaries/OTP-12779:
Dialyzer to cache results of HiPE compilation
Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index 21fc424a1b..fae88ed6e8 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -75,6 +75,9 @@ cl(["-nn"|T]) -> cl(["--no_native"|T]) -> put(dialyzer_options_native, false), cl(T); +cl(["--no_native_cache"|T]) -> + put(dialyzer_options_native_cache, false), + cl(T); cl(["--plt_info"|T]) -> put(dialyzer_options_analysis_type, plt_info), cl(T); @@ -363,7 +366,7 @@ help_message() -> [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] [--dump_callgraph file] [--no_native] [--fullpath] - [--statistics] + [--statistics] [--no_native_cache] Options: files_or_dirs (for backwards compatibility also as: -c files_or_dirs) Use Dialyzer from the command line to detect defects in the @@ -468,6 +471,11 @@ Options: Bypass the native code compilation of some key files that Dialyzer heuristically performs when dialyzing many files; this avoids the compilation time but it may result in (much) longer analysis time. + --no_native_cache + By default, Dialyzer caches the results of native compilation in the + $XDG_CACHE_HOME/erlang/dialyzer_hipe_cache directory. + XDG_CACHE_HOME defaults to $HOME/.cache. Use this option to disable + caching. --fullpath Display the full path names of files for which warnings are emitted. --gui |