From 90c8933592144e8b098abf978b3ec2665fe232f2 Mon Sep 17 00:00:00 2001
From: Marcel Otto <marcelotto@gmx.de>
Date: Thu, 19 Mar 2020 22:04:17 +0100
Subject: [PATCH] Run Dialyzer in CI

---
 .gitignore      | 4 ++++
 .travis.yml     | 4 ++++
 mix.exs         | 4 +---
 priv/plts/.keep | 0
 4 files changed, 9 insertions(+), 3 deletions(-)
 create mode 100644 priv/plts/.keep

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