diff options
| author | Magnus Henoch <[email protected]> | 2014-12-12 18:51:26 +0000 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-05-28 13:41:11 +0200 |
| commit | 0f5916b35938c983cd5a4a9931730a5e554358f3 (patch) | |
| tree | c8a44a6c42b00c25e65be03579c77c4b3fb2ce72 /make | |
| parent | 7f3a057a179af274f24667ecbb7b8f3d40b667b6 (diff) | |
| download | otp-0f5916b35938c983cd5a4a9931730a5e554358f3.tar.gz otp-0f5916b35938c983cd5a4a9931730a5e554358f3.tar.bz2 otp-0f5916b35938c983cd5a4a9931730a5e554358f3.zip | |
Dialyzer to cache results of HiPE compilation
Cache the results of native compilation in
$XDG_CACHE_HOME/dialyzer_hipe_cache. This can reduce the startup time
significantly.
If XDG_CACHE_HOME is unset, it defaults to $HOME/.cache.
See the XDG Base Directory spec for more details:
http://standards.freedesktop.org/basedir-spec/basedir-spec-0.7.html
Under that directory, create a subdirectory called
ARCH-VERSION-CHECKSUM, where ARCH is the HiPE architecture, VERSION is
the HiPE version number, and CHECKSUM is the return value of
hipe_bifs:system_crc/0.
Caching can be disabled by specifying --no_native_cache on the command
line.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions