Przeglądaj źródła

Merge pull request #135 from fishcakez/dialyzer_erts_app

Fix dialyzer erts file lookup for releases prior to R16B02
pull/124/merge
Tristan Sloughter 10 lat temu
rodzic
commit
bbda0b2208
1 zmienionych plików z 7 dodań i 0 usunięć
  1. +7
    -0
      src/rebar_prv_dialyzer.erl

+ 7
- 0
src/rebar_prv_dialyzer.erl Wyświetl plik

@ -202,6 +202,8 @@ ebin_to_info(EbinDir, AppName) ->
Modules = proplists:get_value(modules, AppDetails, []), Modules = proplists:get_value(modules, AppDetails, []),
Files = modules_to_files(Modules, EbinDir), Files = modules_to_files(Modules, EbinDir),
{IncApps ++ DepApps, Files}; {IncApps ++ DepApps, Files};
{error, enoent} when AppName =:= erts ->
{[], ebin_files(EbinDir)};
_ -> _ ->
Error = io_lib:format("Could not parse ~p", [AppFile]), Error = io_lib:format("Could not parse ~p", [AppFile]),
throw({dialyzer_error, Error}) throw({dialyzer_error, Error})
@ -222,6 +224,11 @@ module_to_file(Module, EbinDir, Ext) ->
false false
end. end.
ebin_files(EbinDir) ->
Wildcard = "*" ++ code:objfile_extension(),
[filename:join(EbinDir, File) ||
File <- filelib:wildcard(Wildcard, EbinDir)].
read_plt(_State, Plt) -> read_plt(_State, Plt) ->
case dialyzer:plt_info(Plt) of case dialyzer:plt_info(Plt) of
{ok, Info} -> {ok, Info} ->

Ładowanie…
Anuluj
Zapisz