Permalink
Browse files

Add targets for dialyzer

  • Loading branch information...
1 parent 5b883c1 commit c1bd0b9094adc191b3616adaf16d009b536254b3 @msantos committed Dec 22, 2013
Showing with 20 additions and 0 deletions.
  1. +4 −0 .gitignore
  2. +16 −0 Makefile
View
@@ -1,2 +1,6 @@
*.[oa]
*.beam
+.depsolver_plt
+deps/
+ebin/
+priv/
View
@@ -1,4 +1,5 @@
REBAR=$(shell which rebar || echo ./rebar)
+DEPSOLVER_PLT=$(CURDIR)/.depsolver_plt
all: dirs compile
@@ -27,3 +28,18 @@ eg:
setuid: all
sudo chown root priv/procket
sudo chmod 4750 priv/procket
+
+.PHONY: dialyzer typer clean distclean
+
+$(DEPSOLVER_PLT):
+ @dialyzer --output_plt $(DEPSOLVER_PLT) --build_plt \
+ --apps erts kernel stdlib crypto
+
+dialyzer: $(DEPSOLVER_PLT)
+ @dialyzer --plt $(DEPSOLVER_PLT) -Wrace_conditions --src src
+
+typer: $(DEPSOLVER_PLT)
+ @typer -I include --plt $(DEPSOLVER_PLT) -r ./src
+
+distclean: clean
+ @rm $(DEPSOLVER_PLT)

0 comments on commit c1bd0b9

Please sign in to comment.