GNAT Modified General Public License
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, in altri progetti.
La parte aggiunta alla licenza è la seguente:
«As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License.»
«Come speciale eccezione, se altri file istanziano tipi generici di questa unità, o se questa unità viene collegata con altri file per produrre un eseguibile, questa unità non causa di per sé che l'eseguibile debba essere coperto dalla GNU General Public License. Questa eccezione non invalida comunque altre ragioni per le quali il file dovesse essere coperto dalla GNU Public License»
Il compilatore Ada GNAT può effettuare automaticamente controlli di conformità per alcuni problemi di licenza GPL tramite la direttiva di compilazione:
pragma License (Modified_GPL);
Tale pragma è descritto nel GNAT Reference Manual.[1][2]
Note
- ^ GNAT Reference Manual, su gcc.gnu.org. URL consultato il 21 luglio 2010.
- ^ Pragma License, su gcc.gnu.org. URL consultato il 21 luglio 2010.
Voci correlate
- Ada (linguaggio di programmazione)
- GNU Free Documentation License
- GNU Lesser General Public License
- OpenSSL exception
- GPL linking exception
V · D · M | ||
---|---|---|
Strumenti software | AUnit · GNAT · GPS · Profilo Ravenscar | |
Linguaggi derivati | A Sharp · DIANA · SPARK | |
Personalità | John Barnes · Grady Booch · Jean Ichbiah · S. Tucker Taft | |
Sviluppo | AdaCore · Ada Conformity Assessment Test Suite · APSE · Effetto Beaujolais · GNAT Modified General Public License · High Order Language Working Group · ISO/IEC 8652 |
V · D · M | ||
---|---|---|
Storia | Manifesto GNU · Free Software Foundation (FSF Europe · FSF India · FSF Latin America) · Storia del software libero | |
Licenze | GNU General Public License · GNU Lesser General Public License · GNU Free Documentation License · GPL linking exception · GNU Affero General Public License | |
Software | GNU (Varianti) · GNU Hurd · GTK · GNOME · GIMP · Jami · Bash · Emacs · Screen · GCC · Gnash · gzip · GRUB · Pacchetti GNU | |
Rappresentanti | Richard Stallman · Robert J. Chassell · Bradley M. Kuhn · John Sullivan · Eben Moglen · Loïc Dachary · Georg C. F. Greve · Alexandre Oliva · Benjamin Mako Hill · Federico Heinz · Joshua Gay · Matt Lee · Ricardo Galli | |
Voci correlate | Revolution OS · BadVista · Defective by Design · Controversia sul nome GNU/Linux |