From 1ab08a23b8c2caaa64f203d288deeb5a464e1095 Mon Sep 17 00:00:00 2001 From: Winford Date: Wed, 17 Dec 2025 04:36:10 +0000 Subject: [PATCH] Dialyzer use source files for base plt Use AtomVM library source files to build base plt so dialyzer does not complain about finding multiple (jit) modules with the same name when using beam files. Signed-off-by: Winford --- src/atomvm_dialyzer_provider.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/atomvm_dialyzer_provider.erl b/src/atomvm_dialyzer_provider.erl index e4847ea..accbee8 100644 --- a/src/atomvm_dialyzer_provider.erl +++ b/src/atomvm_dialyzer_provider.erl @@ -190,7 +190,7 @@ do_build_base_plt(Config) -> PLT = base_plt_absname(Config), try dialyzer:run([ - {analysis_type, plt_build}, {init_plt, PLT}, {output_plt, PLT}, {files_rec, BEAMdir} + {analysis_type, plt_build}, {init_plt, PLT}, {output_plt, PLT}, {files, BEAMdir} ]) of [] -> @@ -286,7 +286,7 @@ get_base_beam_path_list(Base) -> fun(E, Acc) -> [ filelib:wildcard( - Base ++ "/{lib,libs}/" ++ atom_to_list(E) ++ "*/**/{ebin,beams}" + Base ++ "/{lib,libs}/" ++ atom_to_list(E) ++ "*/**/src" ) | Acc ]