aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2011-06-21 17:24:07 +0200
committerLoïc Hoguin <[email protected]>2011-06-21 17:24:07 +0200
commitf03dbf4d0662a231454f7c188c10e2892c2733ce (patch)
tree504ec98bd6d1ba0f0303dcab38f079dfa22ba571 /Makefile
parentc427c7f8ecb4524188f1ed023d1bb60fed1bfa00 (diff)
downloadcowboy-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--Makefile9
1 files changed, 8 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7678009..04f12d7 100644
--- a/Makefile
+++ b/Makefile
@@ -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