You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

48 lines
1.3 KiB

преди 11 години
преди 11 години
преди 11 години
преди 11 години
преди 11 години
преди 11 години
преди 11 години
  1. test: compile
  2. ./rebar eunit skip_deps=true
  3. docs:
  4. ./rebar doc skip_deps=true
  5. xref: compile
  6. ./rebar xref skip_deps=true
  7. PLT ?= $(HOME)/.riak_combo_dialyzer_plt
  8. LOCAL_PLT = .local_dialyzer_plt
  9. DIALYZER_FLAGS ?= -Wunmatched_returns
  10. ${PLT}: compile
  11. ifneq (,$(wildcard $(PLT)))
  12. dialyzer --check_plt --plt $(PLT) --apps $(DIALYZER_APPS) && \
  13. dialyzer --add_to_plt --plt $(PLT) --output_plt $(PLT) --apps $(DIALYZER_APPS) ; test $$? -ne 1
  14. else
  15. dialyzer --build_plt --output_plt $(PLT) --apps $(DIALYZER_APPS); test $$? -ne 1
  16. endif
  17. ${LOCAL_PLT}: compile
  18. ifneq (,$(wildcard deps/*))
  19. ifneq (,$(wildcard $(LOCAL_PLT)))
  20. dialyzer --check_plt --plt $(LOCAL_PLT) deps/*/ebin && \
  21. dialyzer --add_to_plt --plt $(LOCAL_PLT) --output_plt $(LOCAL_PLT) deps/*/ebin ; test $$? -ne 1
  22. else
  23. dialyzer --build_plt --output_plt $(LOCAL_PLT) deps/*/ebin ; test $$? -ne 1
  24. endif
  25. endif
  26. dialyzer: ${PLT} ${LOCAL_PLT}
  27. @echo "==> $(shell basename $(shell pwd)) (dialyzer)"
  28. @if [ -f $(LOCAL_PLT) ]; then \
  29. dialyzer $(DIALYZER_FLAGS) --plts $(PLT) $(LOCAL_PLT) -c ebin; \
  30. else \
  31. dialyzer $(DIALYZER_FLAGS) --plts $(PLT) -c ebin; \
  32. fi
  33. cleanplt:
  34. @echo
  35. @echo "Are you sure? It takes several minutes to re-build."
  36. @echo Deleting $(PLT) and $(LOCAL_PLT) in 5 seconds.
  37. @echo
  38. sleep 5
  39. rm $(PLT)
  40. rm $(LOCAL_PLT)