summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Sloughter <tristan.sloughter@gmail.com>2015-02-08 14:58:29 -0600
committerTristan Sloughter <tristan.sloughter@gmail.com>2015-02-08 14:58:29 -0600
commitbbda0b22088f12f47a8e2526fca75a93f32394b8 (patch)
tree2f811b8a5a4188e78ee58e7bf506ed029b24094e
parentd0668532a38619e0a0441a0242b2fb2d476b500a (diff)
parentd693093c00d2e67fd068de8a2dd1596dc75928e2 (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.erl7
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} ->