Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 35 lines (22 sloc) 0.64 kb
187ef6f which command probably make build failed
Joshua Chi authored
1 REBAR = $(shell command -v rebar || echo ./rebar)
2
56d0903 Better Makefile with dialyzer support
Devin Torres authored
3 DIALYZER = dialyzer
4
5 DIALYZER_WARNINGS = -Wunmatched_returns -Werror_handling \
6 -Wrace_conditions -Wunderspecs
7
74e61fd @devinus Add 'qc' to PHONY targets
authored
8 .PHONY: all compile test qc clean get-deps build-plt dialyze
6979378 Add PHONY targets to Makefile
Devin Torres authored
9
cd1174c Initial import
Devin Torres authored
10 all: compile
11
12 compile:
56d0903 Better Makefile with dialyzer support
Devin Torres authored
13 @$(REBAR) compile
14
15 test: compile
b2c8a13 Add more targets to .PHONY in Makefile and add get-deps for when we add ...
Devin Torres authored
16 @$(REBAR) eunit skip_deps=true
cd1174c Initial import
Devin Torres authored
17
40a2253 @devinus Add make qc
authored
18 qc: compile
19 @$(REBAR) qc skip_deps=true
20
cd1174c Initial import
Devin Torres authored
21 clean:
56d0903 Better Makefile with dialyzer support
Devin Torres authored
22 @$(REBAR) clean
23
b2c8a13 Add more targets to .PHONY in Makefile and add get-deps for when we add ...
Devin Torres authored
24 get-deps:
25 @$(REBAR) get-deps
26
57f43e7 @devinus Clean up Makefile, built the PLT before dialyzing
authored
27 .dialyzer_plt:
56d0903 Better Makefile with dialyzer support
Devin Torres authored
28 @$(DIALYZER) --build_plt --output_plt .dialyzer_plt \
29 --apps kernel stdlib
30
57f43e7 @devinus Clean up Makefile, built the PLT before dialyzing
authored
31 build-plt: .dialyzer_plt
32
33 dialyze: build-plt
34 @$(DIALYZER) --src src --plt .dialyzer_plt $(DIALYZER_WARNINGS)
Something went wrong with that request. Please try again.