Esiste un modo noto per fare in modo che Linux makerifiuti 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 makespecificato in POSIX e rifiutare eventuali estensioni specifiche di GNU ‑ Make?
Il .POSIXtarget 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 makeutility 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) .
makeche era destinato all'uso con il "Makefile dell'altro" in questione. Hai anche detto che il ".POSIXtarget 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 .