-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathMakefile
More file actions
64 lines (48 loc) · 1.35 KB
/
Makefile
File metadata and controls
64 lines (48 loc) · 1.35 KB
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
APPS = kernel stdlib sasl erts ssl tools runtime_tools crypto inets \
public_key mnesia syntax_tools compiler compile_prop proper
COMBO_PLT = $(HOME)/.dobby_combo_dialyzer_plt
.PHONY: compile deps test clean ct build_plt check_plt
compile:
./rebar get-deps compile
deps:
./rebar get-deps
test: eunit ct proper
eunit: compile
./rebar -v skip_deps=true eunit
ct: compile
./rebar -v ct $(CTARGS)
compile_prop:
erlc -o test/ test/prop*.erl
proper: compile compile_prop
rm -rf Mnesia.prop_test@*
erl -pa ebin deps/*/ebin test \
-noshell \
-sname prop_test -erl_mnesia options \[persistent\] \
-eval "proper:module(prop_dby_subscription)" \
-s init stop
clean:
./rebar clean
deep-clean: clean
rm -rf deps/*/ebin
rm -f test/*.beam
build_plt: compile
dialyzer --build_plt --output_plt $(COMBO_PLT) --apps $(APPS) \
deps/*/ebin
check_plt: compile
dialyzer --check_plt --plt $(COMBO_PLT) --apps $(APPS) \
deps/*/ebin
dialyzer: compile
@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
dialyzer --plt $(COMBO_PLT) ebin
dev: compile
erl -pa ebin -pa deps/*/ebin \
-eval "application:ensure_all_started(dobby)." \
-name dobby@127.0.0.1 \
-setcookie dobby
compile test clean: rebar
rebar:
wget -c http://github.com/rebar/rebar/wiki/rebar
chmod +x $@