Skip to content

Commit

Permalink
Modify Makefile to support build-plt and dialyze.
Browse files Browse the repository at this point in the history
Also changed .gitignore to ignore *.plt
  • Loading branch information
lastres committed Jan 14, 2013
1 parent 33e87c8 commit c69f1c2
Show file tree
Hide file tree
Showing 2 changed files with 20 additions and 6 deletions.
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,7 @@ test/*.log
*.swp
*.swo

*.plt
erl_crash.dump

.DS_Store
23 changes: 17 additions & 6 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,6 +1,11 @@
.PHONY: all rel compile test clean rel doc build-plt dialyze

PROJECT = lhttpc

REBAR := ./rebar
DIALYZER = dialyzer

.PHONY: all doc clean test dialyzer
APPS = kernel stdlib sasl inets ssl public_key crypto compiler

all: compile doc

Expand All @@ -10,14 +15,20 @@ compile:
doc:
$(REBAR) doc

test:
test: compile
$(REBAR) eunit

dialyzer:
$(REBAR) analyze

release: all dialyzer test
rel: all dialyze test
$(REBAR) release

clean:
$(REBAR) clean

build-plt: compile
@$(DIALYZER) --build_plt --output_plt .$(PROJECT).plt \
--apps $(APPS)

dialyze:
@$(DIALYZER) --fullpath --src ./src \
--plt .$(PROJECT).plt --no_native \
-Werror_handling #-Wrace_conditions

0 comments on commit c69f1c2

Please sign in to comment.