Merge pull request #63 from UncleGrumpy/dialyzer_jit_update

UncleGrumpy · web-flow · commit 528924bf6559 · 2025-12-18T08:22:35.000-08:00
diff --git 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
                 ]

Original file line number	Diff line number	Diff line change
`@@ -190,7 +190,7 @@ do_build_base_plt(Config) ->`
`190`	`190`	`PLT = base_plt_absname(Config),`
`191`	`191`	`try`
`192`	`192`	`dialyzer:run([`
`193`		`- {analysis_type, plt_build}, {init_plt, PLT}, {output_plt, PLT}, {files_rec, BEAMdir}`
	`193`	`+ {analysis_type, plt_build}, {init_plt, PLT}, {output_plt, PLT}, {files, BEAMdir}`
`194`	`194`	`])`
`195`	`195`	`of`
`196`	`196`	`[] ->`
`@@ -286,7 +286,7 @@ get_base_beam_path_list(Base) ->`
`286`	`286`	`fun(E, Acc) ->`
`287`	`287`	`[`
`288`	`288`	`filelib:wildcard(`
`289`		`- Base ++ "/{lib,libs}/" ++ atom_to_list(E) ++ "/*/{ebin,beams}"`
	`289`	`+ Base ++ "/{lib,libs}/" ++ atom_to_list(E) ++ "/*/src"`
`290`	`290`	`)`
`291`	`291`	`\| Acc`
`292`	`292`	`]`