diff --git a/.gitignore b/.gitignore index 8d87cf5..8c12c0c 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,10 @@ erl_crash.dump # Also ignore archive artifacts (built via "mix archive.build"). *.ez +# Dialyzer +/priv/plts/*.plt +/priv/plts/*.plt.hash + /src/*_lexer.erl /src/*_parser.erl diff --git a/.travis.yml b/.travis.yml index ca790e9..8b249e9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,3 +21,7 @@ after_script: - MIX_ENV=docs mix inch.report script: - MIX_ENV=test mix coveralls.travis + - mix dialyzer +cache: + directories: + - priv/plts diff --git a/mix.exs b/mix.exs index 8fb73ed..c8f5529 100644 --- a/mix.exs +++ b/mix.exs @@ -80,11 +80,9 @@ defmodule RDF.Mixfile do end defp dialyzer do - # Dialyzer will emit a warning when the name of the plt file is set - # as people misused it in the past. Without setting a name caching of - # this file is much more trickier, so we still use this functionality. [ plt_add_apps: [:mix], + plt_file: {:no_warn, "priv/plts/dialyzer.plt"}, ignore_warnings: ".dialyzer_ignore" ] end diff --git a/priv/plts/.keep b/priv/plts/.keep new file mode 100644 index 0000000..e69de29