aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--Makefile9
-rw-r--r--rebar.config7
3 files changed, 9 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore
index 334e906..d38fc51 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+.cowboy_dialyzer.plt
.eunit
ebin
logs
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
diff --git a/rebar.config b/rebar.config
index e700ab8..afdbcc6 100644
--- a/rebar.config
+++ b/rebar.config
@@ -1,11 +1,4 @@
{cover_enabled, true}.
-{dialyzer_opts, [src, {warnings, [
- behaviours,
- error_handling,
- race_conditions,
- unmatched_returns
-%% underspecs
-]}]}.
{erl_opts, [
%% bin_opt_info,
warnings_as_errors,