aboutsummaryrefslogtreecommitdiffstats
path: root/erlang.mk
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2014-02-20 20:22:26 +0100
committerLoïc Hoguin <[email protected]>2014-02-20 20:22:26 +0100
commitabbb192e0ab7594901a8cd337f4abe70c3c97844 (patch)
treeaee30ccd450adfead823d1cdcebe715d52f7370f /erlang.mk
parent46d08fcffe8848b492089c29c2effb7767075792 (diff)
parentdd3b39955c03b0df134f854fcc491f4f5451f75b (diff)
downloaderlang.mk-abbb192e0ab7594901a8cd337f4abe70c3c97844.tar.gz
erlang.mk-abbb192e0ab7594901a8cd337f4abe70c3c97844.tar.bz2
erlang.mk-abbb192e0ab7594901a8cd337f4abe70c3c97844.zip
Merge branch 'dialyzer-plt-variable' of git://github.com/danielwhite/erlang.mk
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.