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/doc/src | |
| 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/doc/src')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 5f52906625..fc076c24a6 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -70,7 +70,7 @@ [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] [--dump_callgraph file] [--no_native] [--fullpath] - [--statistics]</code> + [--statistics] [--no_native_cache]</code> <p>Options:</p> <taglist> <tag><c><![CDATA[files_or_dirs]]></c> (for backwards compatibility also @@ -198,6 +198,11 @@ heuristically performs when dialyzing many files; this avoids the compilation time but it may result in (much) longer analysis time.</item> + <tag><c><![CDATA[--no_native_cache]]></c></tag> + <item>By default, Dialyzer caches the results of native compilation in the + <c>$XDG_CACHE_HOME/erlang/dialyzer_hipe_cache</c> directory. + <c>XDG_CACHE_HOME</c> defaults to <c>$HOME/.cache</c>. + Use this option to disable caching.</item> <tag><c><![CDATA[--fullpath]]></c></tag> <item>Display the full path names of files for which warnings are emitted.</item> <tag><c><![CDATA[--gui]]></c></tag> |