Add custom license

3 files changed, 64 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c97dd810a4b0..ad87c8e9b301 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -13,8 +13,10 @@ pkgbase = xmlada
 	conflicts = xmlada-git
 	source = http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40
 	source = expose-cargs-and-largs-makefile.patch
+	source = COPYING.RUNTIME
 	sha1sums = 6b01f6c7ac9d0766320738bef1d32894b34195e8
 	sha1sums = 9b65cc99453fd15bdb7c49a32e6f76922ec904bd
+	sha1sums = 44a4a599d98b4ec6d63051103de2fd177f43f67a
 
 pkgname = xmlada
 
diff --git a/COPYING.RUNTIME b/COPYING.RUNTIME
new file mode 100644
index 000000000000..637f433521d5
--- /dev/null
+++ b/COPYING.RUNTIME
@@ -0,0 +1,53 @@
+GCC RUNTIME LIBRARY EXCEPTION
+
+Version 3.1, 31 March 2009
+
+Copyright (c) 2009 Free Software Foundation, Inc. <http://fsf.org/>
+
+Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed.
+
+This GCC Runtime Library Exception ("Exception") is an additional permission under section 7 of the GNU General Public License,
+version 3 ("GPLv3"). It applies to a given file (the "Runtime Library") that bears a notice placed by the copyright holder of
+the file stating that the file is governed by GPLv3 along with this Exception.
+
+When you use GCC to compile a program, GCC may combine portions of certain GCC header files and runtime libraries with the
+compiled program. The purpose of this Exception is to allow compilation of non-GPL (including proprietary) programs to
+use, in this way, the header files and runtime libraries covered by this Exception.
+
+0. Definitions.
+
+A file is an "Independent Module" if it either requires the Runtime Library for execution after a Compilation
+Process, or makes use of an interface provided by the Runtime Library, but is not otherwise based on the Runtime Library.
+
+"GCC" means a version of the GNU Compiler Collection, with or without modifications, governed by version 3
+(or a specified later version) of the GNU General Public License (GPL) with the option of using any subsequent
+versions published by the FSF.
+
+"GPL-compatible Software" is software whose conditions of propagation, modification and use would permit combination
+with GCC in accord with the license of GCC.
+
+"Target Code" refers to output from any compiler for a real or virtual target processor architecture, in executable
+form or suitable for input to an assembler, loader, linker and/or execution phase. Notwithstanding that, Target Code
+does not include data in any format that is used as a compiler intermediate representation, or used for producing a
+compiler intermediate representation.
+
+The "Compilation Process" transforms code entirely represented in non-intermediate languages designed for human-written
+code, and/or in Java Virtual Machine byte code, into Target Code. Thus, for example, use of source code generators and
+preprocessors need not be considered part of the Compilation Process, since the Compilation Process can be understood as
+starting with the output of the generators or preprocessors.
+
+A Compilation Process is "Eligible" if it is done using GCC, alone or with other GPL-compatible software, or if it is
+done without using any work based on GCC. For example, using non-GPL-compatible Software to optimize any GCC
+intermediate representations would not qualify as an Eligible Compilation Process.
+
+1. Grant of Additional Permission.
+
+You have permission to propagate a work of Target Code formed by combining the Runtime Library with Independent Modules,
+even if such propagation would otherwise violate the terms of GPLv3, provided that all Target Code was generated by
+Eligible Compilation Processes. You may then convey such a combination under terms of your choice, consistent with the
+licensing of the Independent Modules.
+
+2. No Weakening of GCC Copyleft.
+
+The availability of this Exception does not imply any general presumption that third-party software is unaffected by
+the copyleft requirements of the license of GCC.
diff --git a/PKGBUILD b/PKGBUILD
index dcabb72b0fac..4738c9429b17 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -14,9 +14,11 @@ makedepends=('gprbuild-bootstrap>=2018')
 conflicts=("$pkgname-git")
 
 source=('http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40'
-        'expose-cargs-and-largs-makefile.patch')
+        'expose-cargs-and-largs-makefile.patch'
+        'COPYING.RUNTIME')
 sha1sums=('6b01f6c7ac9d0766320738bef1d32894b34195e8'
-          '9b65cc99453fd15bdb7c49a32e6f76922ec904bd')
+          '9b65cc99453fd15bdb7c49a32e6f76922ec904bd'
+          '44a4a599d98b4ec6d63051103de2fd177f43f67a')
 
 prepare() {
     cd "$srcdir/xmlada-gpl-2018-src"
@@ -37,4 +39,9 @@ package() {
     # Make one install at a time to avoid GPRinstall reading/writing to
     # the same installed project files at the same time.
     make -j1 prefix="$pkgdir/usr" install
+
+    # Install the custom license.
+    install -D -m644 \
+        "$srcdir/COPYING.RUNTIME" \
+        "$pkgdir/usr/share/licenses/${pkgname}/COPYING.RUNTIME"
 }