From 3901389bfbf5eecb57b24a12c00e4adb5015bfbd Mon Sep 17 00:00:00 2001 From: Andrzej Sliwa Date: Wed, 6 Aug 2014 22:25:50 +0200 Subject: build plt automaticly when is missing --- plugins/dialyzer.mk | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'plugins/dialyzer.mk') 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) -- cgit v1.2.3