No puede seleccionar más de 25 temas Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.

39 líneas
1.1 KiB

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