Allow PLT destination to be specified
Project: http://git-wip-us.apache.org/repos/asf/couchdb-lager/repo Commit: http://git-wip-us.apache.org/repos/asf/couchdb-lager/commit/c2c70f13 Tree: http://git-wip-us.apache.org/repos/asf/couchdb-lager/tree/c2c70f13 Diff: http://git-wip-us.apache.org/repos/asf/couchdb-lager/diff/c2c70f13 Branch: refs/heads/import-master Commit: c2c70f139d142573f4ef504dd5c302efd1e288b3 Parents: 555e437 Author: Reid Draper <[email protected]> Authored: Fri Jan 3 18:15:59 2014 -0600 Committer: Reid Draper <[email protected]> Committed: Fri Jan 3 18:15:59 2014 -0600 ---------------------------------------------------------------------- Makefile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) ---------------------------------------------------------------------- http://git-wip-us.apache.org/repos/asf/couchdb-lager/blob/c2c70f13/Makefile ---------------------------------------------------------------------- diff --git a/Makefile b/Makefile index 2994a71..82ac955 100644 --- a/Makefile +++ b/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)
