check-deps-integrity.escript 2.0 KB

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