distrib/MacOS/installer-docs/license.html

   1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
   2 <html> <head>
   3 <title>The Glasgow Haskell Compilation System License</title>
   4 </head>
   5
   6 <body>
   7 <h1>The Glasgow Haskell Compilation System License</h1>
   8 <p>
   9 The Glasgow Haskell Compilation System (GHC) is a bundle of software
  10 components covered by three different licenses as detailed below.
  11 </p>
  12 <ul>
  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>
  16 </ul>
  17 <p>
  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.
  22 </p>
  23
  24 <hr>
  25
  26 <a name="compiler">
  27 <h2>Compiler, runtime system, supporting infrastructure, and almost all
  28   libraries</h2>
  29 </a>
  30 <p>
  31 Copyright [2002..2008], The University Court of the University of Glasgow and
  32 others. All rights reserved.
  33 </p>
  34 <p>
  35 Redistribution and use in source and binary forms, with or without
  36 modification, are permitted provided that the following conditions are met:
  37 </p>
  38 <ul>
  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>
  47 </ul>
  48 <p>
  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
  60 DAMAGE.
  61 </p>
  62
  63 <hr>
  64
  65 <a name="gmp">
  66 <h2>GNU MP Bignum Library</h2>
  67 </a>
  68
  69 <h3>GNU LESSER GENERAL PUBLIC LICENSE</h3>
  70 <p>Version 3, 29 June 2007</p>
  71
  72 <p>Copyright (C) 2007 Free Software Foundation, Inc. &lt;http://fsf.org/&gt;</p><p>
  73  Everyone is permitted to copy and distribute verbatim copies
  74  of this license document, but changing it is not allowed.</p>
  75
  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>
  79
  80 <h4><a name="section0"></a>0. Additional Definitions.</h4>
  81
  82 <p>As used herein, &ldquo;this License&rdquo; refers to version 3 of the GNU Lesser
  83 General Public License, and the &ldquo;GNU GPL&rdquo; refers to version 3 of the GNU
  84 General Public License.</p>
  85
  86 <p>&ldquo;The Library&rdquo; refers to a covered work governed by this License,
  87 other than an Application or a Combined Work as defined below.</p>
  88
  89 <p>An &ldquo;Application&rdquo; 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>
  93
  94 <p>A &ldquo;Combined Work&rdquo; 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 &ldquo;Linked
  97 Version&rdquo;.</p>
  98
  99 <p>The &ldquo;Minimal Corresponding Source&rdquo; 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>
 103
 104 <p>The &ldquo;Corresponding Application Code&rdquo; 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>
 108
 109 <h4><a name="section1"></a>1. Exception to Section 3 of the GNU GPL.</h4>
 110
 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>
 113
 114 <h4><a name="section2"></a>2. Conveying Modified Versions.</h4>
 115
 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
 120 version:</p>
 121
 122 <ul>
 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>
 127
 128 <li>b) under the GNU GPL, with none of the additional permissions of
 129    this License applicable to that copy.</li>
 130 </ul>
 131
 132 <h4><a name="section3"></a>3. Object Code Incorporating Material from Library Header Files.</h4>
 133
 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>
 140
 141 <ul>
 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>
 145
 146 <li>b) Accompany the object code with a copy of the GNU GPL and this license
 147    document.</li>
 148 </ul>
 149
 150 <h4><a name="section4"></a>4. Combined Works.</h4>
 151
 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
 156 the following:</p>
 157
 158 <ul>
 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>
 162
 163 <li>b) Accompany the Combined Work with a copy of the GNU GPL and this license
 164    document.</li>
 165
 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>
 170
 171 <li>d) Do one of the following:
 172
 173 <ul>
 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>
 181
 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
 187        Version.</li>
 188 </ul></li>
 189
 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>
 201 </ul>
 202
 203 <h4><a name="section5"></a>5. Combined Libraries.</h4>
 204
 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>
 210
 211 <ul>
 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>
 215
 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>
 219 </ul>
 220
 221 <h4><a name="section6"></a>6. Revised Versions of the GNU Lesser General Public License.</h4>
 222
 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>
 227
 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 &ldquo;or any later version&rdquo;
 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>
 237
 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
 242 Library.</p>
 243
 244 </body> </html>