aboutsummaryrefslogtreecommitdiffstats
path: root/erlang.mk
diff options
context:
space:
mode:
authorDaniel White <[email protected]>2014-01-18 15:28:55 +1100
committerDaniel White <[email protected]>2014-01-18 15:30:01 +1100
commitdd3b39955c03b0df134f854fcc491f4f5451f75b (patch)
treeaee30ccd450adfead823d1cdcebe715d52f7370f /erlang.mk
parent46d08fcffe8848b492089c29c2effb7767075792 (diff)
downloaderlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.tar.gz
erlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.tar.bz2
erlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.zip
Add DIALYZER_PLT variable
This is useful for optionally sharing a PLT amongst projects or dependencies.
Diffstat (limited to 'erlang.mk')
-rw-r--r--erlang.mk8
1 files changed, 5 insertions, 3 deletions
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.