Provide a Makefile for running dialyzer.
While here, also dump another slew of goodies in the makefile.
This commit is contained in:
parent
b21e253324
commit
fcf7af36ca
2 changed files with 31 additions and 0 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -2,3 +2,4 @@ ebin
|
||||||
deps
|
deps
|
||||||
*~
|
*~
|
||||||
.eunit
|
.eunit
|
||||||
|
/.fractal_btree.plt
|
||||||
|
|
30
Makefile
Normal file
30
Makefile
Normal file
|
@ -0,0 +1,30 @@
|
||||||
|
REBAR = ./rebar
|
||||||
|
DIALYZER = dialyzer
|
||||||
|
|
||||||
|
.PHONY: plt analyze all deps compile get-deps clean
|
||||||
|
|
||||||
|
all: compile
|
||||||
|
|
||||||
|
get-deps:
|
||||||
|
@$(REBAR) get-deps
|
||||||
|
|
||||||
|
compile:
|
||||||
|
@$(REBAR) compile
|
||||||
|
|
||||||
|
clean:
|
||||||
|
@$(REBAR) clean
|
||||||
|
|
||||||
|
plt: compile
|
||||||
|
$(DIALYZER) --build_plt --output_plt .fractal_btree.plt \
|
||||||
|
-pa deps/plain_fsm/ebin \
|
||||||
|
-pa deps/ebloom/ebin \
|
||||||
|
deps/plain_fsm/ebin \
|
||||||
|
deps/ebloom/ebin \
|
||||||
|
--apps kernel stdlib
|
||||||
|
|
||||||
|
analyze: compile
|
||||||
|
$(DIALYZER) --plt .fractal_btree.plt \
|
||||||
|
-pa deps/plain_fsm/ebin \
|
||||||
|
-pa deps/ebloom/ebin \
|
||||||
|
ebin
|
||||||
|
|
Loading…
Reference in a new issue