From c57cca4a994e1c3e4472771142bf8d8e4c89af33 Mon Sep 17 00:00:00 2001 From: Damir Vandic Date: Mon, 14 Aug 2023 23:49:15 +0200 Subject: [PATCH] chore: configure dialyzer plt paths (#183) --- .gitignore | 4 ++++ mix.exs | 6 +++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index a19ae2b0..658e3e00 100644 --- a/.gitignore +++ b/.gitignore @@ -25,3 +25,7 @@ next_ls-*.tar # Temporary files, for example, from tests. /tmp/ burrito_out + +# Ignore dialyzer plt files +/priv/plts/*.plt +/priv/plts/*.plt.hash diff --git a/mix.exs b/mix.exs index 05776f90..5f2aad69 100644 --- a/mix.exs +++ b/mix.exs @@ -19,7 +19,11 @@ defmodule NextLS.MixProject do main: "README", extras: ["README.md"] ], - dialyzer: [ignore_warnings: ".dialyzer_ignore.exs"] + dialyzer: [ + plt_core_path: "priv/plts", + plt_local_path: "priv/plts", + ignore_warnings: ".dialyzer_ignore.exs" + ] ] end