Hadrian: track mingw, ship it in bindists, more robust install script
This patch:
- introduces a rule to copy mingw from
inplace/mingw
to<build root>/mingw
, instead of relying on the user to do that (Windows only) - ships the mingw toolchain in the bindist (Windows only)
- makes the Makefile shipped in bindists a little more robust (to directories with spaces in them in particular)
In order to edit the .gitlab-ci.yml
file so as to test this in CI, we have to wait for !450 (merged) and !461 (merged) to land, but some feedback would already be quite welcome. Note that I do tweak the CI script, to remove the manual copying of the mingw
directory in order to make sure that this patch does what it advertises.