diff options
author | Loïc Hoguin <[email protected]> | 2014-08-12 13:59:51 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2014-08-12 13:59:51 +0200 |
commit | c2e423040596efd8267a701c87090188a3109fe7 (patch) | |
tree | b55b5577c3742c02ca6f32aa21bcfda73521fa47 /plugins | |
parent | fc83b9b598dacf49bfb4e25b094c25fb49e4aecb (diff) | |
parent | 3901389bfbf5eecb57b24a12c00e4adb5015bfbd (diff) | |
download | erlang.mk-c2e423040596efd8267a701c87090188a3109fe7.tar.gz erlang.mk-c2e423040596efd8267a701c87090188a3109fe7.tar.bz2 erlang.mk-c2e423040596efd8267a701c87090188a3109fe7.zip |
Merge branch 'master' of git://github.com/andrzejsliwa/erlang.mk
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/dialyzer.mk | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 8e404d1..db1143a 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -24,11 +24,17 @@ help:: # Plugin-specific targets. -plt: deps app +$(DIALYZER_PLT): deps app @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) +plt: $(DIALYZER_PLT) + distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) +ifneq ($(wildcard $(DIALYZER_PLT)),) dialyze: +else +dialyze: $(DIALYZER_PLT) +endif @dialyzer --no_native --src -r src $(DIALYZER_OPTS) |