1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
3 <title>The Glasgow Haskell Compilation System License</title>
7 <h1>The Glasgow Haskell Compilation System License</h1>
9 The Glasgow Haskell Compilation System (GHC) is a bundle of software
10 components covered by three different licenses as detailed below.
13 <li><a href="#compiler">Compiler, runtime system, supporting infrastructure,
14 and almost all libraries</a> (BSD3)</li>
15 <li><a href="#gmp">GNU MP Bignum Library, aka GMP</a> (LGPL)</li>
18 Note that by default the GMP will be statically linked into any binary
19 produced by GHC. Software with a non-GPL compatible license will have to
20 ensure that the conditions of the LGPL are met; for example, by forcing GMP to
21 link dynamically instead.
27 <h2>Compiler, runtime system, supporting infrastructure, and almost all
31 Copyright [2002..2008], The University Court of the University of Glasgow and
32 others. All rights reserved.
35 Redistribution and use in source and binary forms, with or without
36 modification, are permitted provided that the following conditions are met:
39 <li>Redistributions of source code must retain the above copyright notice,
40 this list of conditions and the following disclaimer.</li>
41 <li>Redistributions in binary form must reproduce the above copyright
42 notice, this list of conditions and the following disclaimer in the
43 documentation and/or other materials provided with the distribution.</li>
44 <li>Neither name of the University nor the names of its contributors may be
45 used to endorse or promote products derived from this software without
46 specific prior written permission.</li>
49 THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF
50 GLASGOW AND THE CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
51 INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
52 FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
53 UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE CONTRIBUTORS BE LIABLE
54 FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
55 DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
56 SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
57 CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
58 LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
59 OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
66 <h2>GNU MP Bignum Library</h2>
69 <h3>GNU LESSER GENERAL PUBLIC LICENSE</h3>
70 <p>Version 3, 29 June 2007</p>
72 <p>Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/></p><p>
73 Everyone is permitted to copy and distribute verbatim copies
74 of this license document, but changing it is not allowed.</p>
76 <p>This version of the GNU Lesser General Public License incorporates
77 the terms and conditions of version 3 of the GNU General Public
78 License, supplemented by the additional permissions listed below.</p>
80 <h4><a name="section0"></a>0. Additional Definitions.</h4>
82 <p>As used herein, “this License” refers to version 3 of the GNU Lesser
83 General Public License, and the “GNU GPL” refers to version 3 of the GNU
84 General Public License.</p>
86 <p>“The Library” refers to a covered work governed by this License,
87 other than an Application or a Combined Work as defined below.</p>
89 <p>An “Application” is any work that makes use of an interface provided
90 by the Library, but which is not otherwise based on the Library.
91 Defining a subclass of a class defined by the Library is deemed a mode
92 of using an interface provided by the Library.</p>
94 <p>A “Combined Work” is a work produced by combining or linking an
95 Application with the Library. The particular version of the Library
96 with which the Combined Work was made is also called the “Linked
99 <p>The “Minimal Corresponding Source” for a Combined Work means the
100 Corresponding Source for the Combined Work, excluding any source code
101 for portions of the Combined Work that, considered in isolation, are
102 based on the Application, and not on the Linked Version.</p>
104 <p>The “Corresponding Application Code” for a Combined Work means the
105 object code and/or source code for the Application, including any data
106 and utility programs needed for reproducing the Combined Work from the
107 Application, but excluding the System Libraries of the Combined Work.</p>
109 <h4><a name="section1"></a>1. Exception to Section 3 of the GNU GPL.</h4>
111 <p>You may convey a covered work under sections 3 and 4 of this License
112 without being bound by section 3 of the GNU GPL.</p>
114 <h4><a name="section2"></a>2. Conveying Modified Versions.</h4>
116 <p>If you modify a copy of the Library, and, in your modifications, a
117 facility refers to a function or data to be supplied by an Application
118 that uses the facility (other than as an argument passed when the
119 facility is invoked), then you may convey a copy of the modified
123 <li>a) under this License, provided that you make a good faith effort to
124 ensure that, in the event an Application does not supply the
125 function or data, the facility still operates, and performs
126 whatever part of its purpose remains meaningful, or</li>
128 <li>b) under the GNU GPL, with none of the additional permissions of
129 this License applicable to that copy.</li>
132 <h4><a name="section3"></a>3. Object Code Incorporating Material from Library Header Files.</h4>
134 <p>The object code form of an Application may incorporate material from
135 a header file that is part of the Library. You may convey such object
136 code under terms of your choice, provided that, if the incorporated
137 material is not limited to numerical parameters, data structure
138 layouts and accessors, or small macros, inline functions and templates
139 (ten or fewer lines in length), you do both of the following:</p>
142 <li>a) Give prominent notice with each copy of the object code that the
143 Library is used in it and that the Library and its use are
144 covered by this License.</li>
146 <li>b) Accompany the object code with a copy of the GNU GPL and this license
150 <h4><a name="section4"></a>4. Combined Works.</h4>
152 <p>You may convey a Combined Work under terms of your choice that,
153 taken together, effectively do not restrict modification of the
154 portions of the Library contained in the Combined Work and reverse
155 engineering for debugging such modifications, if you also do each of
159 <li>a) Give prominent notice with each copy of the Combined Work that
160 the Library is used in it and that the Library and its use are
161 covered by this License.</li>
163 <li>b) Accompany the Combined Work with a copy of the GNU GPL and this license
166 <li>c) For a Combined Work that displays copyright notices during
167 execution, include the copyright notice for the Library among
168 these notices, as well as a reference directing the user to the
169 copies of the GNU GPL and this license document.</li>
171 <li>d) Do one of the following:
174 <li>0) Convey the Minimal Corresponding Source under the terms of this
175 License, and the Corresponding Application Code in a form
176 suitable for, and under terms that permit, the user to
177 recombine or relink the Application with a modified version of
178 the Linked Version to produce a modified Combined Work, in the
179 manner specified by section 6 of the GNU GPL for conveying
180 Corresponding Source.</li>
182 <li>1) Use a suitable shared library mechanism for linking with the
183 Library. A suitable mechanism is one that (a) uses at run time
184 a copy of the Library already present on the user's computer
185 system, and (b) will operate properly with a modified version
186 of the Library that is interface-compatible with the Linked
190 <li>e) Provide Installation Information, but only if you would otherwise
191 be required to provide such information under section 6 of the
192 GNU GPL, and only to the extent that such information is
193 necessary to install and execute a modified version of the
194 Combined Work produced by recombining or relinking the
195 Application with a modified version of the Linked Version. (If
196 you use option 4d0, the Installation Information must accompany
197 the Minimal Corresponding Source and Corresponding Application
198 Code. If you use option 4d1, you must provide the Installation
199 Information in the manner specified by section 6 of the GNU GPL
200 for conveying Corresponding Source.)</li>
203 <h4><a name="section5"></a>5. Combined Libraries.</h4>
205 <p>You may place library facilities that are a work based on the
206 Library side by side in a single library together with other library
207 facilities that are not Applications and are not covered by this
208 License, and convey such a combined library under terms of your
209 choice, if you do both of the following:</p>
212 <li>a) Accompany the combined library with a copy of the same work based
213 on the Library, uncombined with any other library facilities,
214 conveyed under the terms of this License.</li>
216 <li>b) Give prominent notice with the combined library that part of it
217 is a work based on the Library, and explaining where to find the
218 accompanying uncombined form of the same work.</li>
221 <h4><a name="section6"></a>6. Revised Versions of the GNU Lesser General Public License.</h4>
223 <p>The Free Software Foundation may publish revised and/or new versions
224 of the GNU Lesser General Public License from time to time. Such new
225 versions will be similar in spirit to the present version, but may
226 differ in detail to address new problems or concerns.</p>
228 <p>Each version is given a distinguishing version number. If the
229 Library as you received it specifies that a certain numbered version
230 of the GNU Lesser General Public License “or any later version”
231 applies to it, you have the option of following the terms and
232 conditions either of that published version or of any later version
233 published by the Free Software Foundation. If the Library as you
234 received it does not specify a version number of the GNU Lesser
235 General Public License, you may choose any version of the GNU Lesser
236 General Public License ever published by the Free Software Foundation.</p>
238 <p>If the Library as you received it specifies that a proxy can decide
239 whether future versions of the GNU Lesser General Public License shall
240 apply, that proxy's public statement of acceptance of any version is
241 permanent authorization for you to choose that version for the