aboutsummaryrefslogtreecommitdiffstats
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
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
-rw-r--r--README.md2
-rw-r--r--erlang.mk8
2 files changed, 7 insertions, 3 deletions
diff --git a/README.md b/README.md
index 22cb2bf..bec67d9 100644
--- a/README.md
+++ b/README.md
@@ -191,6 +191,8 @@ then you only need to put `ponies` in the list.
`stdlib` in there because they will always be included. The applications
the project depends on will also be included.
+`DIALYZER_PLT` allows you to change the PLT file used by dialyzer.
+
`DIALYZER_OPTS` allows you to change the `dialyzer` options.
`PKG_FILE` allows you to change the location of the package index file
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.