libkleo/LICENSES/GCC-exception-3.1.txt

0001 GCC RUNTIME LIBRARY EXCEPTION
0002
0003 Version 3.1, 31 March 2009
0004
0005 Copyright © 2009 Free Software Foundation, Inc. <https://fsf.org/>
0006
0007 Everyone is permitted to copy and distribute verbatim copies of this license
0008 document, but changing it is not allowed.
0009
0010 This GCC Runtime Library Exception ("Exception") is an additional permission
0011 under section 7 of the GNU General Public License, version 3 ("GPLv3"). It
0012 applies to a given file (the "Runtime Library") that bears a notice placed by
0013 the copyright holder of the file stating that the file is governed by GPLv3
0014 along with this Exception.
0015
0016 When you use GCC to compile a program, GCC may combine portions of certain GCC
0017 header files and runtime libraries with the compiled program. The purpose of
0018 this Exception is to allow compilation of non-GPL (including proprietary)
0019 programs to use, in this way, the header files and runtime libraries covered by
0020 this Exception.
0021
0022 0. Definitions.
0023
0024 A file is an "Independent Module" if it either requires the Runtime Library for
0025 execution after a Compilation Process, or makes use of an interface provided by
0026 the Runtime Library, but is not otherwise based on the Runtime Library.
0027
0028 "GCC" means a version of the GNU Compiler Collection, with or without
0029 modifications, governed by version 3 (or a specified later version) of the GNU
0030 General Public License (GPL) with the option of using any subsequent versions
0031 published by the FSF.
0032
0033 "GPL-compatible Software" is software whose conditions of propagation,
0034 modification and use would permit combination with GCC in accord with the
0035 license of GCC.
0036
0037 "Target Code" refers to output from any compiler for a real or virtual target
0038 processor architecture, in executable form or suitable for input to an
0039 assembler, loader, linker and/or execution phase. Notwithstanding that, Target
0040 Code does not include data in any format that is used as a compiler intermediate
0041 representation, or used for producing a compiler intermediate representation.
0042
0043 The "Compilation Process" transforms code entirely represented in
0044 non-intermediate languages designed for human-written code, and/or in Java
0045 Virtual Machine byte code, into Target Code. Thus, for example, use of source
0046 code generators and preprocessors need not be considered part of the Compilation
0047 Process, since the Compilation Process can be understood as starting with the
0048 output of the generators or preprocessors.
0049
0050 A Compilation Process is "Eligible" if it is done using GCC, alone or with other
0051 GPL-compatible software, or if it is done without using any work based on GCC.
0052 For example, using non-GPL-compatible Software to optimize any GCC intermediate
0053 representations would not qualify as an Eligible Compilation Process.
0054
0055 1. Grant of Additional Permission.
0056
0057 You have permission to propagate a work of Target Code formed by combining the
0058 Runtime Library with Independent Modules, even if such propagation would
0059 otherwise violate the terms of GPLv3, provided that all Target Code was
0060 generated by Eligible Compilation Processes. You may then convey such a
0061 combination under terms of your choice, consistent with the licensing of the
0062 Independent Modules.
0063
0064 2. No Weakening of GCC Copyleft.
0065
0066 The availability of this Exception does not imply any general presumption that
0067 third-party software is unaffected by the copyleft requirements of the license
0068 of GCC.