Skip to content

Commit 4ec3857

Browse files
committed
Simplify Makefile
1 parent a6ed626 commit 4ec3857

File tree

1 file changed

+5
-30
lines changed

1 file changed

+5
-30
lines changed

Makefile

Lines changed: 5 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.PHONY: compile xref eunit clean doc check make deps test
1+
.PHONY: compile xref eunit clean check-all make deps test
22

33
REBAR=./rebar3
44

@@ -10,8 +10,6 @@ ma: all
1010
mak: all
1111
make: all
1212

13-
console: compile
14-
@erl -pa ebin
1513
deps:
1614
@$(REBAR) update-deps get-deps
1715

@@ -27,34 +25,11 @@ test:
2725
clean:
2826
@$(REBAR) clean
2927

30-
doc:
31-
@$(REBAR) doc
28+
dialyzer:
29+
@$(REBAR) dialyzer
3230

33-
APPS = kernel stdlib runtime_tools
34-
COMBO_PLT = $(HOME)/.msgpack_dialyzer_plt
35-
36-
check_plt: xref
37-
dialyzer --check_plt --plt $(COMBO_PLT) --apps $(APPS)
38-
39-
build_plt: xref
40-
dialyzer --build_plt --output_plt $(COMBO_PLT) --apps $(APPS)
41-
42-
dialyzer: xref
43-
@echo
44-
@echo Use "'make check_plt'" to check PLT prior to using this target.
45-
@echo Use "'make build_plt'" to build PLT prior to using this target.
46-
@echo
47-
@sleep 1
48-
dialyzer -Wno_return --plt $(COMBO_PLT) ebin | fgrep -v -f ./dialyzer.ignore-warnings
49-
50-
51-
52-
check: compile xref
53-
# @echo "you need $(REBAR) build-plt before make check"
54-
# @$(REBAR) build-plt
55-
dialyzer --check
56-
# @$(REBAR) check-plt
57-
# @$(REBAR) dialyze
31+
check-all:
32+
@$(REBAR) eunit xref dialyzer
5833

5934
crosslang:
6035
@echo "do ERL_LIBS=../ before you make crosslang or fail"

0 commit comments

Comments
 (0)