diff options
| author | Loïc Hoguin <[email protected]> | 2014-02-20 20:22:26 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2014-02-20 20:22:26 +0100 |
| commit | abbb192e0ab7594901a8cd337f4abe70c3c97844 (patch) | |
| tree | aee30ccd450adfead823d1cdcebe715d52f7370f | |
| parent | 46d08fcffe8848b492089c29c2effb7767075792 (diff) | |
| parent | dd3b39955c03b0df134f854fcc491f4f5451f75b (diff) | |
| download | erlang.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.md | 2 | ||||
| -rw-r--r-- | erlang.mk | 8 |
2 files changed, 7 insertions, 3 deletions
@@ -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 @@ -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. |