Skip to content

Instantly share code, notes, and snippets.

@Zert
Created November 28, 2013 07:31
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Zert/7688437 to your computer and use it in GitHub Desktop.
Save Zert/7688437 to your computer and use it in GitHub Desktop.
PLT_NAME=.projectname_dialyzer.plt
$(PLT_NAME):
@ERL_LIBS=../erllib/deps dialyzer --build_plt --output_plt $(PLT_NAME) \
--apps erts kernel stdlib sasl crypto lager jiffy \
amqp_client rabbit_common || true
dialyze: $(PLT_NAME)
@dialyzer apps/projectname/ebin --plt $(PLT_NAME) --no_native \
-Werror_handling -Wunderspecs -Wrace_conditions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment