diff options
| author | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-02-08 14:58:29 -0600 |
|---|---|---|
| committer | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-02-08 14:58:29 -0600 |
| commit | bbda0b22088f12f47a8e2526fca75a93f32394b8 (patch) | |
| tree | 2f811b8a5a4188e78ee58e7bf506ed029b24094e | |
| parent | d0668532a38619e0a0441a0242b2fb2d476b500a (diff) | |
| parent | d693093c00d2e67fd068de8a2dd1596dc75928e2 (diff) | |
Merge pull request #135 from fishcakez/dialyzer_erts_app
Fix dialyzer erts file lookup for releases prior to R16B02
| -rw-r--r-- | src/rebar_prv_dialyzer.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl index 242890a..33d2162 100644 --- a/src/rebar_prv_dialyzer.erl +++ b/src/rebar_prv_dialyzer.erl @@ -202,6 +202,8 @@ ebin_to_info(EbinDir, AppName) -> Modules = proplists:get_value(modules, AppDetails, []), Files = modules_to_files(Modules, EbinDir), {IncApps ++ DepApps, Files}; + {error, enoent} when AppName =:= erts -> + {[], ebin_files(EbinDir)}; _ -> Error = io_lib:format("Could not parse ~p", [AppFile]), throw({dialyzer_error, Error}) @@ -222,6 +224,11 @@ module_to_file(Module, EbinDir, Ext) -> false end. +ebin_files(EbinDir) -> + Wildcard = "*" ++ code:objfile_extension(), + [filename:join(EbinDir, File) || + File <- filelib:wildcard(Wildcard, EbinDir)]. + read_plt(_State, Plt) -> case dialyzer:plt_info(Plt) of {ok, Info} -> |