Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

added dialyzer targets for makefile

  • Loading branch information...
commit 1ba51263f1683499d421900f6e8df3aa2cec2944 1 parent bc033e5
Igor Karymov authored January 04, 2012
21  Makefile
@@ -105,5 +105,26 @@ upload_packages:
105 105
 	ssh erlyhub@git.erlyvideo.org "cd /apps/erlyvideo/debian ; ./update ; cd public/binary ; ln -sf erlyvideo-$(VERSION).tgz erlyvideo-latest.tgz "
106 106
 	echo "Erlyvideo version ${VERSION} uploaded to debian repo http://debian.erlyvideo.org/ ." | mail -r "Erlybuild <build@erlyvideo.org>" -s "Erlyvideo version ${VERSION}" -v erlyvideo-dev@googlegroups.com
107 107
 
  108
+
  109
+COMBO_PLT = $(HOME)/.erlyvideo_combo_dialyzer_plt
  110
+PLT_SKIP  = $(wildcard erlyvideo/lib/elixir*/ebin)
  111
+PLT_LIBS  = $(filter-out $(PLT_SKIP), $(wildcard erlyvideo/lib/*/ebin))
  112
+
  113
+DIALYZER_APPS = amf  deprecated  erlmedia  erlyvideo mpegts  plugins  rtmp  rtp  rtsp
  114
+DIALYZER_APPS_PATHS = $(addsuffix /ebin, $(addprefix apps/, $(DIALYZER_APPS)))
  115
+
  116
+check_plt: release
  117
+	dialyzer --check_plt --plt $(COMBO_PLT) $(PLT_LIBS)
  118
+
  119
+build_plt: release
  120
+	dialyzer --build_plt --output_plt $(COMBO_PLT) $(PLT_LIBS)
  121
+
  122
+dialyzer: compile
  123
+	dialyzer -Wno_return --fullpath --plt $(COMBO_PLT) $(DIALYZER_APPS_PATHS) | \
  124
+	    fgrep -v -f ./dialyzer.ignore-warnings
  125
+
  126
+cleanplt:
  127
+	rm $(COMBO_PLT)
  128
+
108 129
 .PHONY: doc debian compile
109 130
 
5  dialyzer.ignore-warnings
... ...
@@ -0,0 +1,5 @@
  1
+###
  2
+### This is not a comment, just a pattern that is
  3
+### very unlikely to match anything that we care about.
  4
+### Don't put blank lines in this file.
  5
+###

0 notes on commit 1ba5126

Please sign in to comment.
Something went wrong with that request. Please try again.