feat(dialyzer): allow overriding PLT paths via PLT_CORE_PATH/PLT_LOCAL_PATH
This commit is contained in:
parent
0a53e11cc4
commit
c332a4dde2
1 changed files with 5 additions and 2 deletions
7
mix.exs
7
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,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue