17.2 Tipo di licenza delle estensioni

Ogni estensione dinamica dev’essere distribuita in base a una licenza che sia compatibile con la licenza GNU GPL (vedi la sezione Licenza Pubblica Generale GNU (GPL)).

Per far sapere a gawk che la licenza è quella corretta, l’estensione deve definire il simbolo globale plugin_is_GPL_compatibile. Se tale simbolo non è stato definito, gawk termina con un messaggio di errore fatale al momento del caricamente dell’estensione.

Il tipo dichiarato per il suddetto simbolo dev’essere int. Esso non deve tuttavia essere presente in ogni sezione allocata. Il controllo in essere si limita a constatare che quel simbolo esiste a livello globale. Qualcosa del genere può essere sufficiente:

int plugin_is_GPL_compatible;