-
Notifications
You must be signed in to change notification settings - Fork 32
/
Makefile
39 lines (32 loc) · 940 Bytes
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
.PHONY: test deps
rafter:
./rebar compile
deps:
./rebar get-deps
test:
./rebar eunit skip_deps=true
APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
xmerl webtool eunit syntax_tools compiler
PLT = $(HOME)/.rafter_dialyzer_plt
check_plt:
dialyzer --check_plt --plt $(PLT) --apps $(APPS)
build_plt:
dialyzer --build_plt --output_plt $(PLT) --apps $(APPS)
dialyzer:
@echo
@echo Use "'make check_plt'" to check PLT prior to using this target.
@echo Use "'make build_plt'" to build PLT prior to using this target.
@echo
@sleep 1
dialyzer -Wno_return -Wunmatched_returns -Wrace_conditions \
--plt $(PLT) deps/*/ebin ebin | \
tee .dialyzer.raw-output
cleanplt:
@echo
@echo "Are you sure? It takes about 1/2 hour to re-build."
@echo Deleting $(PLT) in 5 seconds.
@echo
sleep 5
rm $(PLT)
xref: compile
./rebar xref skip_deps=true | grep -v unused | egrep -v -f ./xref.ignore-warnings