check-deps-integrity.escript 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. #!/usr/bin/env escript
  2. %% NOTE: this script should be executed at project root.
  3. -mode(compile).
  4. main([]) ->
  5. Files = ["rebar.config"] ++ apps_rebar_config("apps"),
  6. Deps = collect_deps(Files, #{}),
  7. case count_bad_deps(Deps) of
  8. 0 ->
  9. io:format("OK~n");
  10. N ->
  11. io:format(standard_error, "~p dependency discrepancies", [N]),
  12. halt(1)
  13. end.
  14. apps_rebar_config(Dir) ->
  15. filelib:wildcard(filename:join([Dir, "*", "rebar.config"])).
  16. %% collect a kv-list of {DepName, [{DepReference, RebarConfigFile}]}
  17. %% the value part should have unique DepReference
  18. collect_deps([], Acc) -> maps:to_list(Acc);
  19. collect_deps([File | Files], Acc) ->
  20. Deps =
  21. try
  22. {ok, Config} = file:consult(File),
  23. {deps, Deps0} = lists:keyfind(deps, 1, Config),
  24. Deps0
  25. catch
  26. C : E : St ->
  27. erlang:raise(C, {E, {failed_to_find_deps_in_rebar_config, File}}, St)
  28. end,
  29. collect_deps(Files, do_collect_deps(Deps, File, Acc)).
  30. do_collect_deps([], _File, Acc) -> Acc;
  31. %% ignore relative app dependencies
  32. do_collect_deps([{_Name, {path, _Path}} | Deps], File, Acc) ->
  33. do_collect_deps(Deps, File, Acc);
  34. do_collect_deps([{Name, Ref} | Deps], File, Acc) ->
  35. Refs = maps:get(Name, Acc, []),
  36. do_collect_deps(Deps, File, Acc#{Name => [{Ref, File} | Refs]}).
  37. count_bad_deps([]) -> 0;
  38. count_bad_deps([{Name, Refs0} | Rest]) ->
  39. Refs = lists:keysort(1, Refs0),
  40. case is_unique_ref(Refs) andalso not_branch_ref(Refs) of
  41. true ->
  42. count_bad_deps(Rest);
  43. false ->
  44. io:format(standard_error, "~p:~n~p~n", [Name, Refs]),
  45. 1 + count_bad_deps(Rest)
  46. end.
  47. is_unique_ref([_]) -> true;
  48. is_unique_ref([{Ref, _File1}, {Ref, File2} | Rest]) ->
  49. is_unique_ref([{Ref, File2} | Rest]);
  50. is_unique_ref(_) ->
  51. false.
  52. not_branch_ref([]) -> true;
  53. not_branch_ref([{{git, _Repo, {branch, _Branch}}, _File} | _Rest]) -> false;
  54. not_branch_ref([_Ref | Rest]) -> not_branch_ref(Rest).