Kill the make build system

Ben Gamarirequested to merge
wip/kill-make into master

Drop the make build system in favor of Hadrian.

This depends upon !8676 (closed).

To do

  • drop make logic from validate
  • drop testsuite/tests/perf/haddock/.gitignore (#16802 (closed))
  • replace MAKEHELP.md
  • drop CI infrastructure for make
  • Drop mkdirhier
  • Drop mk/config.mk, mk/install.mk
Edited by Ben Gamari

Merge request reports