J'ai donc fini par télécharger Cygwin et j'ai utilisé le système "make" qui l'accompagnait. Cela a parfaitement fonctionné ! Honnêtement, je n'ai aucune idée de la raison pour laquelle la commande "make" de GnuWin32 n'a pas fonctionné, mais je suppose que cela serait utile à ceux qui rencontreraient le même problème à l'avenir.
L'implémentation Microsoft de Make est nmake. Je ne pense pas que ce soit aussi avancé que beaucoup d'implémentations de Make à partir de divers Unix, mais cela devrait fonctionner pour de simples Makefiles.
Comme vous l'avez trouvé, un make autonome n'était pas assez; vous aviez besoin de Cygwin.
make est un programme qui interprète un makefile et exécute les commandes du makefile. Mais quelles sont ces commandes ? Si vous regardez votre makefile, vous verrez des commandes de style UNIX qui sont disponibles sous Linux, Mac OS X ou Cygwin mais qui ne sont pas disponibles dans un système Windows standard. Ainsi, saisir simplement un make n'était pas suffisant.