Skip to content

Commit 5a08d16

Browse files
committed
Add dialyzer targets to Makefile
1 parent 885b3e0 commit 5a08d16

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

Makefile

+13
Original file line numberDiff line numberDiff line change
@@ -65,3 +65,16 @@ pkgclean:
6565
$(MAKE) -C package pkgclean
6666

6767
export BITCASK_TAG PKG_VERSION REPO REVISION
68+
69+
APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
70+
xmerl webtool snmp public_key mnesia eunit syntax_tools compiler
71+
PLT = $(HOME)/.bitcask_dialyzer_plt
72+
73+
build_plt: deps compile
74+
dialyzer --build_plt --output_plt $(PLT) --apps $(APPS) deps/*/ebin
75+
76+
dialyzer: deps compile
77+
dialyzer -Wno_return --plt $(PLT) ebin
78+
79+
clean_plt:
80+
rm $(PLT)

0 commit comments

Comments
 (0)