From c332a4dde27ff9cefb241a3801d187e089f03bb9 Mon Sep 17 00:00:00 2001
From: Moritz <moritz.m@local-it.org>
Date: Mon, 15 Jun 2026 17:48:53 +0200
Subject: [PATCH] feat(dialyzer): allow overriding PLT paths via
 PLT_CORE_PATH/PLT_LOCAL_PATH

---
 mix.exs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/mix.exs b/mix.exs
index b20572a..23e8a6f 100644
--- a/mix.exs
+++ b/mix.exs
@@ -117,8 +117,11 @@ defmodule Mv.MixProject do
 
   defp dialyzer do
     [
-      plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
-      plt_core_path: "priv/plts/core.plt",
+      # PLT paths are overridable so the pipeline can point all worktrees/clones
+      # at a shared, machine-global PLT cache (avoids each rebuilding the PLT).
+      # Default to the in-repo priv/plts for a plain checkout.
+      plt_file: {:no_warn, System.get_env("PLT_LOCAL_PATH") || "priv/plts/dialyzer.plt"},
+      plt_core_path: System.get_env("PLT_CORE_PATH") || "priv/plts/core.plt",
       plt_add_apps: [:mix, :ex_unit],
       flags: [
         :error_handling,