check-deps-integrity.escript 2.0 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  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) ->
  19. maps:to_list(Acc);
  20. collect_deps([File | Files], Acc) ->
  21. Deps =
  22. try
  23. {ok, Config} = file:consult(File),
  24. {deps, Deps0} = lists:keyfind(deps, 1, Config),
  25. Deps0
  26. catch
  27. C:E:St ->
  28. erlang:raise(C, {E, {failed_to_find_deps_in_rebar_config, File}}, St)
  29. end,
  30. collect_deps(Files, do_collect_deps(Deps, File, Acc)).
  31. do_collect_deps([], _File, Acc) ->
  32. 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([]) ->
  40. 0;
  41. count_bad_deps([{Name, Refs0} | Rest]) ->
  42. Refs = lists:keysort(1, Refs0),
  43. case is_unique_ref(Refs) andalso not_branch_ref(Refs) of
  44. true ->
  45. count_bad_deps(Rest);
  46. false ->
  47. io:format(standard_error, "~p:~n~p~n", [Name, Refs]),
  48. 1 + count_bad_deps(Rest)
  49. end.
  50. is_unique_ref([_]) -> true;
  51. is_unique_ref([{Ref, _File1}, {Ref, File2} | Rest]) -> is_unique_ref([{Ref, File2} | Rest]);
  52. is_unique_ref(_) -> false.
  53. not_branch_ref([]) -> true;
  54. not_branch_ref([{{git, _Repo, {branch, _Branch}}, _File} | _Rest]) -> false;
  55. not_branch_ref([_Ref | Rest]) -> not_branch_ref(Rest).