소스 검색

Allow PLT destination to be specified

pull/186/head
Reid Draper 11 년 전
부모
커밋
c2c70f139d
1개의 변경된 파일6개의 추가작업 그리고 6개의 파일을 삭제
  1. +6
    -6
      Makefile

+ 6
- 6
Makefile 파일 보기

@ -25,13 +25,13 @@ docs:
APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
xmerl webtool snmp public_key mnesia eunit
COMBO_PLT = $(HOME)/.riak_combo_dialyzer_plt
PLT ?= $(HOME)/.riak_combo_dialyzer_plt
check_plt: compile
dialyzer --check_plt --plt $(COMBO_PLT) --apps $(APPS)
dialyzer --check_plt --plt $(PLT) --apps $(APPS)
build_plt: compile
dialyzer --build_plt --output_plt $(COMBO_PLT) --apps $(APPS)
dialyzer --build_plt --output_plt $(PLT) --apps $(APPS)
dialyzer: compile
@echo
@ -39,14 +39,14 @@ dialyzer: compile
@echo Use "'make build_plt'" to build PLT prior to using this target.
@echo
@sleep 1
dialyzer -Wunmatched_returns --plt $(COMBO_PLT) ebin | \
dialyzer -Wunmatched_returns --plt $(PLT) ebin | \
fgrep -v -f ./dialyzer.ignore-warnings
cleanplt:
@echo
@echo "Are you sure? It takes about 1/2 hour to re-build."
@echo Deleting $(COMBO_PLT) in 5 seconds.
@echo Deleting $(PLT) in 5 seconds.
@echo
sleep 5
rm $(COMBO_PLT)
rm $(PLT)

불러오는 중...
취소
저장