Successivo: File derivati, Precedente: Aggiungere codice, Su: Aggiunte [Contenuti][Indice]
gawk
su un nuovo Sistema OperativoSe si vuol portare gawk
su di un nuovo sistema operativo, sono
necessari parecchi passi:
gawk
e con le
versioni per altri sistemi operativi.
Evitare modifiche non necessarie alla parte di codice che è indipendente
dal sistema operativo. Se possibile, evitare di disseminare ‘#ifdef’,
utili solo per il proprio port, all’interno del codice sorgente.
Se le modifiche necessarie per un particolare sistema coinvolgono una parte troppo rilevante del codice, è probabile che io non le accetti. In questo caso si possono, naturalmente, distribuire le modifiche per proprio conto, basta che si rispettino i vincoli della GPL (vedi la sezione Licenza Pubblica Generale GNU (GPL)).
gawk
sono mantenuti da terze persone e non dagli sviluppatori di gawk
.
Quindi, non si dovrebbero cambiare, se non per ragioni molto
valide; vale a dire, modifiche a questi file non sono impossibili, ma
le modifiche a questi file saranno controllate con estrema attenzione.
Questi file sono tutti quelli contenuti nella directory support
presente nella distribuzione di gawk
. Vedere direttamente là.
gettext
).
Neppure questi file dovrebbero essere modificati, se non per ragioni molto
valide. I file sono
ABOUT-NLS,
config.guess,
config.rpath,
config.sub,
depcomp,
INSTALL,
install-sh,
missing,
mkinstalldirs,
e
ylwrap.
gawk
nei loro sistemi. Se nessuno è disponibile a tener aggiornato un port,
questo diventa non più supportato, e può essere necessario rimuoverlo dalla
distribuzione.
Ogni file gawkmisc.??? del port ha un suffisso esplicativo del tipo di macchina o del sistema operativo in questione — per esempio, pc/gawkmisc.pc e vms/gawkmisc.vms. L’uso di suffissi distinti invece di un semplice gawkmisc.c, rende possibile spostare file da una sottodirectory propria del port nella sottodirectory principale, senza cancellare incidentalmente il file gawkmisc.c vero e proprio. (Al momento, questo rappresenta un problema solo per i port ai sistemi operativi dei PC.)
gawk
per il sistema desiderato.
Seguire queste indicazioni facilita molto l’integrazione delle
modifiche in gawk
e la loro felice coesistenza con il codice di
altri sistemi operativi già presenti.
Nel codice che viene fornito e tenuto aggiornato, si possono tranquillamente usare uno stile di codifica e una disposizione delle parentesi graffe di proprio gradimento.
Successivo: File derivati, Precedente: Aggiungere codice, Su: Aggiunte [Contenuti][Indice]