Existe-t-il un moyen connu de faire en sorte que Linux make
rejette 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 make
spécifié dans POSIX et rejeter toutes les extensions spécifiques à GNU-Make?
La .POSIX
cible 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 make
utilitaire 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) .
make
qui était destinée à être utilisée avec le "Makefile de l'autre" en question. Vous avez également dit que "la.POSIX
cible 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 .