GNAT Modified General Public License: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
fix ordine sezioni |
m Bot: passaggio degli url da HTTP a HTTPS |
||
(3 versioni intermedie di 3 utenti non mostrate) | |||
Riga 1:
[[Image:Heckert GNU white.svg|thumb
La '''GNAT Modified General Public License''' (usualmente abbreviata in '''GMGPL''') è una versione modificata della [[GNU General Public License]] tramite una [[GPL linking exception]], inerentemente il linking di librerie o l'istanziazione di tipi generici, scritti in [[Ada (linguaggio di programmazione)|Ada]], in altri progetti.
Riga 9:
Il [[compilatore]] Ada [[GNAT]] può effettuare automaticamente controlli di conformità per alcuni problemi di licenza GPL tramite la [[Direttiva (programmazione)|direttiva di compilazione]]:
:<code>'''pragma License (Modified_GPL);'''</code>
Tale pragma è descritto nel GNAT Reference Manual.<ref>{{
== Note ==
Riga 24:
{{GNU}}
{{
[[Categoria:GNU General Public License]]
[[Categoria:Ada]]
|