aboutsummaryrefslogtreecommitdiff
path: root/options/license/GNAT-exception
diff options
context:
space:
mode:
Diffstat (limited to 'options/license/GNAT-exception')
-rw-r--r--options/license/GNAT-exception6
1 files changed, 6 insertions, 0 deletions
diff --git a/options/license/GNAT-exception b/options/license/GNAT-exception
new file mode 100644
index 000000000..2b5a96a62
--- /dev/null
+++ b/options/license/GNAT-exception
@@ -0,0 +1,6 @@
+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.