Esiste un modo noto per fare in modo che Linux make
rifiuti l'uso involontario di GNU ‑ Make estensioni specifiche in Makefile durante la modifica o l'utilizzo di altri Makefile in Linux? Voglio dire, limitare GNU ‑ Make a comportarsi come make
specificato in POSIX e rifiutare eventuali estensioni specifiche di GNU ‑ Make?
Il .POSIX
target speciale non è sufficiente, secondo " 4.9 Nomi target incorporati speciali (gnu.org) ". La pagina man non menziona un'opzione da riga di comando per questo.
L'uso di un'altra make
utility può essere un'opzione.
- Aggiornamento 2018-10-19 -
Non ho ancora trovato una risposta diretta alla mia domanda, ma qui c'è almeno un documento su questo problema, un documento che non esisteva al momento in cui avevo questa domanda: un Tutorial su Portable Makefile (nullprogram.com) .
make
che era destinato all'uso con il "Makefile dell'altro" in questione. Hai anche detto che il ".POSIX
target di GNU non è abbastanza, secondo" la tua lettura di alcuni documenti, ma non lo hai dimostrato con un caso reale, che è un po ' problematico XY .