Codebase list rust-stfu8 / c63c5a3
compiler-builtins: mention gpl-3 gcc code Ximin Luo 4 years ago
2 changed file(s) with 100 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+1
-1
src/compiler-builtins/debian/changelog less more
55 [ kpcyrd ]
66 * Package compiler_builtins 0.1.19 from crates.io using debcargo 2.4.0
77
8 -- Ximin Luo <infinity0@debian.org> Sun, 08 Mar 2020 21:56:59 +0000
8 -- Ximin Luo <infinity0@debian.org> Thu, 02 Apr 2020 20:29:31 +0100
+99
-0
src/compiler-builtins/debian/copyright less more
2222 .
2323 In summary, MIT or Apache-2.0 is therefore the correct license for this crate,
2424 minus the libm embedded crate described separately below.
25
26 Files: src/riscv32.rs
27 Copyright:
28 2009-2020 Free Software Foundation, Inc.
29 License: GPL-3+ with GCC-Runtime-Library exception
30 Comment:
31 Contributed by Embecosm on behalf of Adapteva, Inc.
2532
2633 Files: libm/*
2734 Copyright:
103110 Permission to use, copy, modify, and distribute this
104111 software is freely granted, provided that this notice
105112 is preserved.
113
114 License: GPL-3+ with GCC-Runtime-Library exception
115 This file is free software; you can redistribute it and/or modify it
116 under the terms of the GNU General Public License as published by the
117 Free Software Foundation; either version 3, or (at your option) any
118 later version.
119 .
120 This file is distributed in the hope that it will be useful, but
121 WITHOUT ANY WARRANTY; without even the implied warranty of
122 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
123 General Public License for more details.
124 .
125 Under Section 7 of GPL version 3, you are granted additional
126 permissions described in the GCC Runtime Library Exception, version
127 3.1, as published by the Free Software Foundation.
128 .
129 You should have received a copy of the GNU General Public License and
130 a copy of the GCC Runtime Library Exception along with this program;
131 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
132 <http://www.gnu.org/licenses/>. */
133 .
134 Debian systems provide the GPL-3 license in
135 /usr/share/common-licenses/GPL-3
136 .
137 GCC RUNTIME LIBRARY EXCEPTION
138 Version 3.1, 31 March 2009
139 .
140 Copyright © 2009 Free Software Foundation, Inc. <https://fsf.org/>
141 .
142 Everyone is permitted to copy and distribute verbatim copies of this license
143 document, but changing it is not allowed.
144 .
145 This GCC Runtime Library Exception ("Exception") is an additional permission
146 under section 7 of the GNU General Public License, version 3 ("GPLv3"). It
147 applies to a given file (the "Runtime Library") that bears a notice placed by
148 the copyright holder of the file stating that the file is governed by GPLv3
149 along with this Exception.
150 .
151 When you use GCC to compile a program, GCC may combine portions of certain GCC
152 header files and runtime libraries with the compiled program. The purpose of
153 this Exception is to allow compilation of non-GPL (including proprietary)
154 programs to use, in this way, the header files and runtime libraries covered
155 by this Exception.
156 .
157 0. Definitions.
158 .
159 A file is an "Independent Module" if it either requires the Runtime Library
160 for execution after a Compilation Process, or makes use of an interface
161 provided by the Runtime Library, but is not otherwise based on the Runtime
162 Library.
163 .
164 "GCC" means a version of the GNU Compiler Collection, with or without
165 modifications, governed by version 3 (or a specified later version) of the GNU
166 General Public License (GPL) with the option of using any subsequent versions
167 published by the FSF.
168 .
169 "GPL-compatible Software" is software whose conditions of propagation,
170 modification and use would permit combination with GCC in accord with the
171 license of GCC.
172 .
173 "Target Code" refers to output from any compiler for a real or virtual target
174 processor architecture, in executable form or suitable for input to an
175 assembler, loader, linker and/or execution phase. Notwithstanding that, Target
176 Code does not include data in any format that is used as a compiler
177 intermediate representation, or used for producing a compiler intermediate
178 representation.
179 .
180 The "Compilation Process" transforms code entirely represented in
181 non-intermediate languages designed for human-written code, and/or in Java
182 Virtual Machine byte code, into Target Code. Thus, for example, use of source
183 code generators and preprocessors need not be considered part of the
184 Compilation Process, since the Compilation Process can be understood as
185 starting with the output of the generators or preprocessors.
186 .
187 A Compilation Process is "Eligible" if it is done using GCC, alone or with
188 other GPL-compatible software, or if it is done without using any work based
189 on GCC. For example, using non-GPL-compatible Software to optimize any GCC
190 intermediate representations would not qualify as an Eligible Compilation
191 Process.
192 .
193 1. Grant of Additional Permission.
194 You have permission to propagate a work of Target Code formed by combining the
195 Runtime Library with Independent Modules, even if such propagation would
196 otherwise violate the terms of GPLv3, provided that all Target Code was
197 generated by Eligible Compilation Processes. You may then convey such a
198 combination under terms of your choice, consistent with the licensing of the
199 Independent Modules.
200 .
201 2. No Weakening of GCC Copyleft.
202 The availability of this Exception does not imply any general presumption that
203 third-party software is unaffected by the copyleft requirements of the license
204 of GCC.