diff options
| author | Loïc Hoguin <[email protected]> | 2011-06-21 17:24:07 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2011-06-21 17:24:07 +0200 |
| commit | f03dbf4d0662a231454f7c188c10e2892c2733ce (patch) | |
| tree | 504ec98bd6d1ba0f0303dcab38f079dfa22ba571 /Makefile | |
| parent | c427c7f8ecb4524188f1ed023d1bb60fed1bfa00 (diff) | |
| download | cowboy-f03dbf4d0662a231454f7c188c10e2892c2733ce.tar.gz cowboy-f03dbf4d0662a231454f7c188c10e2892c2733ce.tar.bz2 cowboy-f03dbf4d0662a231454f7c188c10e2892c2733ce.zip | |
Use dialyzer directly instead of through rebar
Rebar recently removed their dialyzer support options so we're switching
to plain dialyzer. And as a bonus it works much better!
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,5 +1,6 @@ # See LICENSE for licensing information. +DIALYZER = dialyzer REBAR = rebar all: app @@ -20,5 +21,11 @@ eunit: ct: @$(REBAR) ct +build-plt: + @$(DIALYZER) --build_plt --output_plt .cowboy_dialyzer.plt \ + --apps kernel stdlib sasl inets crypto public_key ssl + dialyze: - @$(REBAR) dialyze + @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt \ + -Wbehaviours -Werror_handling \ + -Wrace_conditions -Wunmatched_returns # -Wunderspecs |