From dd3b39955c03b0df134f854fcc491f4f5451f75b Mon Sep 17 00:00:00 2001 From: Daniel White Date: Sat, 18 Jan 2014 15:28:55 +1100 Subject: Add DIALYZER_PLT variable This is useful for optionally sharing a PLT amongst projects or dependencies. --- erlang.mk | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'erlang.mk') diff --git a/erlang.mk b/erlang.mk index 1e0a05e..f7cc405 100644 --- a/erlang.mk +++ b/erlang.mk @@ -251,16 +251,18 @@ tests: clean deps app build-tests # Dialyzer. +DIALYZER_PLT ?= $(CURDIR)/.$(PROJECT).plt +export DIALYZER_PLT + PLT_APPS ?= DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions \ -Wunmatched_returns # -Wunderspecs build-plt: deps app - @dialyzer --build_plt --output_plt .$(PROJECT).plt \ - --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) + @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) dialyze: - @dialyzer --src src --plt .$(PROJECT).plt --no_native $(DIALYZER_OPTS) + @dialyzer --src src --no_native $(DIALYZER_OPTS) # Packages. -- cgit v1.2.3