Skip to content

Commit

Permalink
Provide a Makefile for running dialyzer.
Browse files Browse the repository at this point in the history
While here, also dump another slew of goodies in the makefile.
  • Loading branch information
jlouis committed Jan 6, 2012
1 parent b21e253 commit fcf7af3
Show file tree
Hide file tree
Showing 2 changed files with 31 additions and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
Expand Up @@ -2,3 +2,4 @@ ebin
deps
*~
.eunit
/.fractal_btree.plt
30 changes: 30 additions & 0 deletions Makefile
@@ -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

0 comments on commit fcf7af3

Please sign in to comment.