Existe-t-il un moyen connu de faire en sorte que Linux makerejette l'utilisation involontaire d'extensions spécifiques à GNU-Make dans Makefile lors de l'édition ou de l'utilisation d'autres Makefile sous Linux? Je veux dire, restreindre GNU-Make à se comporter comme makespécifié dans POSIX et rejeter toutes les extensions spécifiques à GNU-Make?
La .POSIXcible spéciale n'est pas suffisante, selon « 4.9 Noms de cibles spéciales intégrées (gnu.org) ». La page de manuel ne mentionne pas d'option de ligne de commande pour cela.
L'utilisation d'un autre makeutilitaire peut être une option.
- Mise à jour 2018-10-19 -
Je n'ai toujours pas trouvé de réponse directe à ma question, mais voici au moins un document sur ce problème, un document qui n'existait pas au moment où j'ai eu cette question: Un tutoriel sur les Makefiles portables (nullprogram.com) .
makequi était destinée à être utilisée avec le "Makefile de l'autre" en question. Vous avez également dit que "la.POSIXcible de GNU n'est pas suffisante, selon" votre lecture de certains documents, mais vous ne l'avez pas démontré avec un cas réel, ce qui est un peu problématique XY .