diff options
author | Daniel White <[email protected]> | 2014-01-18 15:28:55 +1100 |
---|---|---|
committer | Daniel White <[email protected]> | 2014-01-18 15:30:01 +1100 |
commit | dd3b39955c03b0df134f854fcc491f4f5451f75b (patch) | |
tree | aee30ccd450adfead823d1cdcebe715d52f7370f /erlang.mk | |
parent | 46d08fcffe8848b492089c29c2effb7767075792 (diff) | |
download | erlang.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.mk | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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. |