GNAT Modified General Public License: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
LauBot (discussione | contributi)
m Bot: passaggio degli url da HTTP a HTTPS
 
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>{{Cita web|url= httphttps://gcc.gnu.org/onlinedocs/gnat_rm/ |titolo= GNAT Reference Manual |accesso= 21 luglio 2010 }}</ref><ref>{{Cita web|url= httphttps://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-License.html |titolo= Pragma License |accesso= 21 luglio 2010 }}</ref>
 
== Note ==