Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Umbrella child applications are not added to the PLT #344

Open
mguimas opened this issue Jul 5, 2019 · 2 comments
Open

Umbrella child applications are not added to the PLT #344

mguimas opened this issue Jul 5, 2019 · 2 comments

Comments

@mguimas
Copy link

mguimas commented Jul 5, 2019

Environment

$ elixir --version
Erlang/OTP 21 [erts-10.2.3] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:1] [hipe]

Elixir 1.8.1 (compiled with Erlang/OTP 21)

$ cat mix.lock | grep dialyxir
  "dialyxir": {:hex, :dialyxir, "1.0.0-rc.6", "78e97d9c0ff1b5521dd68041193891aebebce52fc3b93463c0a6806874557d7d", [:mix], [{:erlex, "~> 0.2.1", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm"}

Current behavior

After cleaning everything under _build, and running mix dialyzer --plt --force-check from the umbrella root directory, some umbrella child applications are not added to the generated PLT.

The umbrella child applications that are added automatically to the PLT are those that are dependencies of other child applications, and those that are explicitly included in the mix.exs file of the umbrella project, like this

def project do
  [
    ...
    dialyzer: [plt_add_apps: [...]]
   ]
end

Expected behavior

All umbrella child applications should be added automatically to the PLT.

@vtm9
Copy link

vtm9 commented Feb 11, 2023

same in 1.2.0

@vtm9
Copy link

vtm9 commented Feb 11, 2023

as a temporary solution, i've used

      dialyzer: [
        paths: [
          Path.join(File.cwd!(), "_build/dev/lib/app1/ebin"),
          Path.join(File.cwd!(), "_build/dev/lib/app2/ebin")
        ],
]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants