Commit | Line | Data |
---|---|---|
34e49164 C |
1 | In the following, "the Library" refers to the following files: |
2 | ||
3 | src/standard.mly | |
4 | src/infiniteArray.{ml,mli} | |
5 | src/packedIntArray.{ml,mli} | |
6 | src/rowDisplacement.{ml,mli} | |
7 | src/engineTypes.ml | |
8 | src/engine.{ml,mli} | |
9 | src/tableFormat.ml | |
10 | src/tableInterpreter.{ml,mli} | |
11 | src/convert.{ml,mli} | |
12 | ||
13 | while "the Generator" refers to all other files in this archive. | |
14 | ||
15 | The Generator is distributed under the terms of the Q Public License | |
16 | version 1.0 with a change to choice of law (included below). | |
17 | ||
18 | The Library is distributed under the terms of the GNU Library General | |
19 | Public License version 2 (included below). | |
20 | ||
21 | As a special exception to the Q Public Licence, you may develop | |
22 | application programs, reusable components and other software items | |
23 | that link with the original or modified versions of the Generator | |
24 | and are not made available to the general public, without any of the | |
25 | additional requirements listed in clause 6c of the Q Public licence. | |
26 | ||
27 | As a special exception to the GNU Library General Public License, you | |
28 | may link, statically or dynamically, a "work that uses the Library" | |
29 | with a publicly distributed version of the Library to produce an | |
30 | executable file containing portions of the Library, and distribute | |
31 | that executable file under terms of your choice, without any of the | |
32 | additional requirements listed in clause 6 of the GNU Library General | |
33 | Public License. By "a publicly distributed version of the Library", | |
34 | we mean either the unmodified Library as distributed by INRIA, or a | |
35 | modified version of the Library that is distributed under the | |
36 | conditions defined in clause 3 of the GNU Library General Public | |
37 | License. This exception does not however invalidate any other reasons | |
38 | why the executable file might be covered by the GNU Library General | |
39 | Public License. | |
40 | ||
41 | ---------------------------------------------------------------------- | |
42 | ||
43 | THE Q PUBLIC LICENSE version 1.0 | |
44 | ||
45 | Copyright (C) 1999 Troll Tech AS, Norway. | |
46 | Everyone is permitted to copy and | |
47 | distribute this license document. | |
48 | ||
49 | The intent of this license is to establish freedom to share and change | |
50 | the software regulated by this license under the open source model. | |
51 | ||
52 | This license applies to any software containing a notice placed by the | |
53 | copyright holder saying that it may be distributed under the terms of | |
54 | the Q Public License version 1.0. Such software is herein referred to | |
55 | as the Software. This license covers modification and distribution of | |
56 | the Software, use of third-party application programs based on the | |
57 | Software, and development of free software which uses the Software. | |
58 | ||
59 | Granted Rights | |
60 | ||
61 | 1. You are granted the non-exclusive rights set forth in this license | |
62 | provided you agree to and comply with any and all conditions in this | |
63 | license. Whole or partial distribution of the Software, or software | |
64 | items that link with the Software, in any form signifies acceptance of | |
65 | this license. | |
66 | ||
67 | 2. You may copy and distribute the Software in unmodified form | |
68 | provided that the entire package, including - but not restricted to - | |
69 | copyright, trademark notices and disclaimers, as released by the | |
70 | initial developer of the Software, is distributed. | |
71 | ||
72 | 3. You may make modifications to the Software and distribute your | |
73 | modifications, in a form that is separate from the Software, such as | |
74 | patches. The following restrictions apply to modifications: | |
75 | ||
76 | a. Modifications must not alter or remove any copyright notices | |
77 | in the Software. | |
78 | ||
79 | b. When modifications to the Software are released under this | |
80 | license, a non-exclusive royalty-free right is granted to the | |
81 | initial developer of the Software to distribute your | |
82 | modification in future versions of the Software provided such | |
83 | versions remain available under these terms in addition to any | |
84 | other license(s) of the initial developer. | |
85 | ||
86 | 4. You may distribute machine-executable forms of the Software or | |
87 | machine-executable forms of modified versions of the Software, | |
88 | provided that you meet these restrictions: | |
89 | ||
90 | a. You must include this license document in the distribution. | |
91 | ||
92 | b. You must ensure that all recipients of the machine-executable | |
93 | forms are also able to receive the complete machine-readable | |
94 | source code to the distributed Software, including all | |
95 | modifications, without any charge beyond the costs of data | |
96 | transfer, and place prominent notices in the distribution | |
97 | explaining this. | |
98 | ||
99 | c. You must ensure that all modifications included in the | |
100 | machine-executable forms are available under the terms of this | |
101 | license. | |
102 | ||
103 | 5. You may use the original or modified versions of the Software to | |
104 | compile, link and run application programs legally developed by you or | |
105 | by others. | |
106 | ||
107 | 6. You may develop application programs, reusable components and other | |
108 | software items that link with the original or modified versions of the | |
109 | Software. These items, when distributed, are subject to the following | |
110 | requirements: | |
111 | ||
112 | a. You must ensure that all recipients of machine-executable | |
113 | forms of these items are also able to receive and use the | |
114 | complete machine-readable source code to the items without any | |
115 | charge beyond the costs of data transfer. | |
116 | ||
117 | b. You must explicitly license all recipients of your items to | |
118 | use and re-distribute original and modified versions of the | |
119 | items in both machine-executable and source code forms. The | |
120 | recipients must be able to do so without any charges whatsoever, | |
121 | and they must be able to re-distribute to anyone they choose. | |
122 | ||
123 | c. If the items are not available to the general public, and the | |
124 | initial developer of the Software requests a copy of the items, | |
125 | then you must supply one. | |
126 | ||
127 | Limitations of Liability | |
128 | ||
129 | In no event shall the initial developers or copyright holders be | |
130 | liable for any damages whatsoever, including - but not restricted to - | |
131 | lost revenue or profits or other direct, indirect, special, incidental | |
132 | or consequential damages, even if they have been advised of the | |
133 | possibility of such damages, except to the extent invariable law, if | |
134 | any, provides otherwise. | |
135 | ||
136 | No Warranty | |
137 | ||
138 | The Software and this license document are provided AS IS with NO | |
139 | WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, | |
140 | MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. | |
141 | ||
142 | Choice of Law | |
143 | ||
144 | This license is governed by the Laws of France. | |
145 | ||
146 | ---------------------------------------------------------------------- | |
147 | ||
148 | GNU LIBRARY GENERAL PUBLIC LICENSE | |
149 | Version 2, June 1991 | |
150 | ||
151 | Copyright (C) 1991 Free Software Foundation, Inc. | |
152 | 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA | |
153 | Everyone is permitted to copy and distribute verbatim copies | |
154 | of this license document, but changing it is not allowed. | |
155 | ||
156 | [This is the first released version of the library GPL. It is | |
157 | numbered 2 because it goes with version 2 of the ordinary GPL.] | |
158 | ||
159 | Preamble | |
160 | ||
161 | The licenses for most software are designed to take away your | |
162 | freedom to share and change it. By contrast, the GNU General Public | |
163 | Licenses are intended to guarantee your freedom to share and change | |
164 | free software--to make sure the software is free for all its users. | |
165 | ||
166 | This license, the Library General Public License, applies to some | |
167 | specially designated Free Software Foundation software, and to any | |
168 | other libraries whose authors decide to use it. You can use it for | |
169 | your libraries, too. | |
170 | ||
171 | When we speak of free software, we are referring to freedom, not | |
172 | price. Our General Public Licenses are designed to make sure that you | |
173 | have the freedom to distribute copies of free software (and charge for | |
174 | this service if you wish), that you receive source code or can get it | |
175 | if you want it, that you can change the software or use pieces of it | |
176 | in new free programs; and that you know you can do these things. | |
177 | ||
178 | To protect your rights, we need to make restrictions that forbid | |
179 | anyone to deny you these rights or to ask you to surrender the rights. | |
180 | These restrictions translate to certain responsibilities for you if | |
181 | you distribute copies of the library, or if you modify it. | |
182 | ||
183 | For example, if you distribute copies of the library, whether gratis | |
184 | or for a fee, you must give the recipients all the rights that we gave | |
185 | you. You must make sure that they, too, receive or can get the source | |
186 | code. If you link a program with the library, you must provide | |
187 | complete object files to the recipients so that they can relink them | |
188 | with the library, after making changes to the library and recompiling | |
189 | it. And you must show them these terms so they know their rights. | |
190 | ||
191 | Our method of protecting your rights has two steps: (1) copyright | |
192 | the library, and (2) offer you this license which gives you legal | |
193 | permission to copy, distribute and/or modify the library. | |
194 | ||
195 | Also, for each distributor's protection, we want to make certain | |
196 | that everyone understands that there is no warranty for this free | |
197 | library. If the library is modified by someone else and passed on, we | |
198 | want its recipients to know that what they have is not the original | |
199 | version, so that any problems introduced by others will not reflect on | |
200 | the original authors' reputations. | |
201 | \f | |
202 | Finally, any free program is threatened constantly by software | |
203 | patents. We wish to avoid the danger that companies distributing free | |
204 | software will individually obtain patent licenses, thus in effect | |
205 | transforming the program into proprietary software. To prevent this, | |
206 | we have made it clear that any patent must be licensed for everyone's | |
207 | free use or not licensed at all. | |
208 | ||
209 | Most GNU software, including some libraries, is covered by the ordinary | |
210 | GNU General Public License, which was designed for utility programs. This | |
211 | license, the GNU Library General Public License, applies to certain | |
212 | designated libraries. This license is quite different from the ordinary | |
213 | one; be sure to read it in full, and don't assume that anything in it is | |
214 | the same as in the ordinary license. | |
215 | ||
216 | The reason we have a separate public license for some libraries is that | |
217 | they blur the distinction we usually make between modifying or adding to a | |
218 | program and simply using it. Linking a program with a library, without | |
219 | changing the library, is in some sense simply using the library, and is | |
220 | analogous to running a utility program or application program. However, in | |
221 | a textual and legal sense, the linked executable is a combined work, a | |
222 | derivative of the original library, and the ordinary General Public License | |
223 | treats it as such. | |
224 | ||
225 | Because of this blurred distinction, using the ordinary General | |
226 | Public License for libraries did not effectively promote software | |
227 | sharing, because most developers did not use the libraries. We | |
228 | concluded that weaker conditions might promote sharing better. | |
229 | ||
230 | However, unrestricted linking of non-free programs would deprive the | |
231 | users of those programs of all benefit from the free status of the | |
232 | libraries themselves. This Library General Public License is intended to | |
233 | permit developers of non-free programs to use free libraries, while | |
234 | preserving your freedom as a user of such programs to change the free | |
235 | libraries that are incorporated in them. (We have not seen how to achieve | |
236 | this as regards changes in header files, but we have achieved it as regards | |
237 | changes in the actual functions of the Library.) The hope is that this | |
238 | will lead to faster development of free libraries. | |
239 | ||
240 | The precise terms and conditions for copying, distribution and | |
241 | modification follow. Pay close attention to the difference between a | |
242 | "work based on the library" and a "work that uses the library". The | |
243 | former contains code derived from the library, while the latter only | |
244 | works together with the library. | |
245 | ||
246 | Note that it is possible for a library to be covered by the ordinary | |
247 | General Public License rather than by this special one. | |
248 | \f | |
249 | GNU LIBRARY GENERAL PUBLIC LICENSE | |
250 | TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION | |
251 | ||
252 | 0. This License Agreement applies to any software library which | |
253 | contains a notice placed by the copyright holder or other authorized | |
254 | party saying it may be distributed under the terms of this Library | |
255 | General Public License (also called "this License"). Each licensee is | |
256 | addressed as "you". | |
257 | ||
258 | A "library" means a collection of software functions and/or data | |
259 | prepared so as to be conveniently linked with application programs | |
260 | (which use some of those functions and data) to form executables. | |
261 | ||
262 | The "Library", below, refers to any such software library or work | |
263 | which has been distributed under these terms. A "work based on the | |
264 | Library" means either the Library or any derivative work under | |
265 | copyright law: that is to say, a work containing the Library or a | |
266 | portion of it, either verbatim or with modifications and/or translated | |
267 | straightforwardly into another language. (Hereinafter, translation is | |
268 | included without limitation in the term "modification".) | |
269 | ||
270 | "Source code" for a work means the preferred form of the work for | |
271 | making modifications to it. For a library, complete source code means | |
272 | all the source code for all modules it contains, plus any associated | |
273 | interface definition files, plus the scripts used to control compilation | |
274 | and installation of the library. | |
275 | ||
276 | Activities other than copying, distribution and modification are not | |
277 | covered by this License; they are outside its scope. The act of | |
278 | running a program using the Library is not restricted, and output from | |
279 | such a program is covered only if its contents constitute a work based | |
280 | on the Library (independent of the use of the Library in a tool for | |
281 | writing it). Whether that is true depends on what the Library does | |
282 | and what the program that uses the Library does. | |
283 | ||
284 | 1. You may copy and distribute verbatim copies of the Library's | |
285 | complete source code as you receive it, in any medium, provided that | |
286 | you conspicuously and appropriately publish on each copy an | |
287 | appropriate copyright notice and disclaimer of warranty; keep intact | |
288 | all the notices that refer to this License and to the absence of any | |
289 | warranty; and distribute a copy of this License along with the | |
290 | Library. | |
291 | ||
292 | You may charge a fee for the physical act of transferring a copy, | |
293 | and you may at your option offer warranty protection in exchange for a | |
294 | fee. | |
295 | \f | |
296 | 2. You may modify your copy or copies of the Library or any portion | |
297 | of it, thus forming a work based on the Library, and copy and | |
298 | distribute such modifications or work under the terms of Section 1 | |
299 | above, provided that you also meet all of these conditions: | |
300 | ||
301 | a) The modified work must itself be a software library. | |
302 | ||
303 | b) You must cause the files modified to carry prominent notices | |
304 | stating that you changed the files and the date of any change. | |
305 | ||
306 | c) You must cause the whole of the work to be licensed at no | |
307 | charge to all third parties under the terms of this License. | |
308 | ||
309 | d) If a facility in the modified Library refers to a function or a | |
310 | table of data to be supplied by an application program that uses | |
311 | the facility, other than as an argument passed when the facility | |
312 | is invoked, then you must make a good faith effort to ensure that, | |
313 | in the event an application does not supply such function or | |
314 | table, the facility still operates, and performs whatever part of | |
315 | its purpose remains meaningful. | |
316 | ||
317 | (For example, a function in a library to compute square roots has | |
318 | a purpose that is entirely well-defined independent of the | |
319 | application. Therefore, Subsection 2d requires that any | |
320 | application-supplied function or table used by this function must | |
321 | be optional: if the application does not supply it, the square | |
322 | root function must still compute square roots.) | |
323 | ||
324 | These requirements apply to the modified work as a whole. If | |
325 | identifiable sections of that work are not derived from the Library, | |
326 | and can be reasonably considered independent and separate works in | |
327 | themselves, then this License, and its terms, do not apply to those | |
328 | sections when you distribute them as separate works. But when you | |
329 | distribute the same sections as part of a whole which is a work based | |
330 | on the Library, the distribution of the whole must be on the terms of | |
331 | this License, whose permissions for other licensees extend to the | |
332 | entire whole, and thus to each and every part regardless of who wrote | |
333 | it. | |
334 | ||
335 | Thus, it is not the intent of this section to claim rights or contest | |
336 | your rights to work written entirely by you; rather, the intent is to | |
337 | exercise the right to control the distribution of derivative or | |
338 | collective works based on the Library. | |
339 | ||
340 | In addition, mere aggregation of another work not based on the Library | |
341 | with the Library (or with a work based on the Library) on a volume of | |
342 | a storage or distribution medium does not bring the other work under | |
343 | the scope of this License. | |
344 | ||
345 | 3. You may opt to apply the terms of the ordinary GNU General Public | |
346 | License instead of this License to a given copy of the Library. To do | |
347 | this, you must alter all the notices that refer to this License, so | |
348 | that they refer to the ordinary GNU General Public License, version 2, | |
349 | instead of to this License. (If a newer version than version 2 of the | |
350 | ordinary GNU General Public License has appeared, then you can specify | |
351 | that version instead if you wish.) Do not make any other change in | |
352 | these notices. | |
353 | \f | |
354 | Once this change is made in a given copy, it is irreversible for | |
355 | that copy, so the ordinary GNU General Public License applies to all | |
356 | subsequent copies and derivative works made from that copy. | |
357 | ||
358 | This option is useful when you wish to copy part of the code of | |
359 | the Library into a program that is not a library. | |
360 | ||
361 | 4. You may copy and distribute the Library (or a portion or | |
362 | derivative of it, under Section 2) in object code or executable form | |
363 | under the terms of Sections 1 and 2 above provided that you accompany | |
364 | it with the complete corresponding machine-readable source code, which | |
365 | must be distributed under the terms of Sections 1 and 2 above on a | |
366 | medium customarily used for software interchange. | |
367 | ||
368 | If distribution of object code is made by offering access to copy | |
369 | from a designated place, then offering equivalent access to copy the | |
370 | source code from the same place satisfies the requirement to | |
371 | distribute the source code, even though third parties are not | |
372 | compelled to copy the source along with the object code. | |
373 | ||
374 | 5. A program that contains no derivative of any portion of the | |
375 | Library, but is designed to work with the Library by being compiled or | |
376 | linked with it, is called a "work that uses the Library". Such a | |
377 | work, in isolation, is not a derivative work of the Library, and | |
378 | therefore falls outside the scope of this License. | |
379 | ||
380 | However, linking a "work that uses the Library" with the Library | |
381 | creates an executable that is a derivative of the Library (because it | |
382 | contains portions of the Library), rather than a "work that uses the | |
383 | library". The executable is therefore covered by this License. | |
384 | Section 6 states terms for distribution of such executables. | |
385 | ||
386 | When a "work that uses the Library" uses material from a header file | |
387 | that is part of the Library, the object code for the work may be a | |
388 | derivative work of the Library even though the source code is not. | |
389 | Whether this is true is especially significant if the work can be | |
390 | linked without the Library, or if the work is itself a library. The | |
391 | threshold for this to be true is not precisely defined by law. | |
392 | ||
393 | If such an object file uses only numerical parameters, data | |
394 | structure layouts and accessors, and small macros and small inline | |
395 | functions (ten lines or less in length), then the use of the object | |
396 | file is unrestricted, regardless of whether it is legally a derivative | |
397 | work. (Executables containing this object code plus portions of the | |
398 | Library will still fall under Section 6.) | |
399 | ||
400 | Otherwise, if the work is a derivative of the Library, you may | |
401 | distribute the object code for the work under the terms of Section 6. | |
402 | Any executables containing that work also fall under Section 6, | |
403 | whether or not they are linked directly with the Library itself. | |
404 | \f | |
405 | 6. As an exception to the Sections above, you may also compile or | |
406 | link a "work that uses the Library" with the Library to produce a | |
407 | work containing portions of the Library, and distribute that work | |
408 | under terms of your choice, provided that the terms permit | |
409 | modification of the work for the customer's own use and reverse | |
410 | engineering for debugging such modifications. | |
411 | ||
412 | You must give prominent notice with each copy of the work that the | |
413 | Library is used in it and that the Library and its use are covered by | |
414 | this License. You must supply a copy of this License. If the work | |
415 | during execution displays copyright notices, you must include the | |
416 | copyright notice for the Library among them, as well as a reference | |
417 | directing the user to the copy of this License. Also, you must do one | |
418 | of these things: | |
419 | ||
420 | a) Accompany the work with the complete corresponding | |
421 | machine-readable source code for the Library including whatever | |
422 | changes were used in the work (which must be distributed under | |
423 | Sections 1 and 2 above); and, if the work is an executable linked | |
424 | with the Library, with the complete machine-readable "work that | |
425 | uses the Library", as object code and/or source code, so that the | |
426 | user can modify the Library and then relink to produce a modified | |
427 | executable containing the modified Library. (It is understood | |
428 | that the user who changes the contents of definitions files in the | |
429 | Library will not necessarily be able to recompile the application | |
430 | to use the modified definitions.) | |
431 | ||
432 | b) Accompany the work with a written offer, valid for at | |
433 | least three years, to give the same user the materials | |
434 | specified in Subsection 6a, above, for a charge no more | |
435 | than the cost of performing this distribution. | |
436 | ||
437 | c) If distribution of the work is made by offering access to copy | |
438 | from a designated place, offer equivalent access to copy the above | |
439 | specified materials from the same place. | |
440 | ||
441 | d) Verify that the user has already received a copy of these | |
442 | materials or that you have already sent this user a copy. | |
443 | ||
444 | For an executable, the required form of the "work that uses the | |
445 | Library" must include any data and utility programs needed for | |
446 | reproducing the executable from it. However, as a special exception, | |
447 | the source code distributed need not include anything that is normally | |
448 | distributed (in either source or binary form) with the major | |
449 | components (compiler, kernel, and so on) of the operating system on | |
450 | which the executable runs, unless that component itself accompanies | |
451 | the executable. | |
452 | ||
453 | It may happen that this requirement contradicts the license | |
454 | restrictions of other proprietary libraries that do not normally | |
455 | accompany the operating system. Such a contradiction means you cannot | |
456 | use both them and the Library together in an executable that you | |
457 | distribute. | |
458 | \f | |
459 | 7. You may place library facilities that are a work based on the | |
460 | Library side-by-side in a single library together with other library | |
461 | facilities not covered by this License, and distribute such a combined | |
462 | library, provided that the separate distribution of the work based on | |
463 | the Library and of the other library facilities is otherwise | |
464 | permitted, and provided that you do these two things: | |
465 | ||
466 | a) Accompany the combined library with a copy of the same work | |
467 | based on the Library, uncombined with any other library | |
468 | facilities. This must be distributed under the terms of the | |
469 | Sections above. | |
470 | ||
471 | b) Give prominent notice with the combined library of the fact | |
472 | that part of it is a work based on the Library, and explaining | |
473 | where to find the accompanying uncombined form of the same work. | |
474 | ||
475 | 8. You may not copy, modify, sublicense, link with, or distribute | |
476 | the Library except as expressly provided under this License. Any | |
477 | attempt otherwise to copy, modify, sublicense, link with, or | |
478 | distribute the Library is void, and will automatically terminate your | |
479 | rights under this License. However, parties who have received copies, | |
480 | or rights, from you under this License will not have their licenses | |
481 | terminated so long as such parties remain in full compliance. | |
482 | ||
483 | 9. You are not required to accept this License, since you have not | |
484 | signed it. However, nothing else grants you permission to modify or | |
485 | distribute the Library or its derivative works. These actions are | |
486 | prohibited by law if you do not accept this License. Therefore, by | |
487 | modifying or distributing the Library (or any work based on the | |
488 | Library), you indicate your acceptance of this License to do so, and | |
489 | all its terms and conditions for copying, distributing or modifying | |
490 | the Library or works based on it. | |
491 | ||
492 | 10. Each time you redistribute the Library (or any work based on the | |
493 | Library), the recipient automatically receives a license from the | |
494 | original licensor to copy, distribute, link with or modify the Library | |
495 | subject to these terms and conditions. You may not impose any further | |
496 | restrictions on the recipients' exercise of the rights granted herein. | |
497 | You are not responsible for enforcing compliance by third parties to | |
498 | this License. | |
499 | \f | |
500 | 11. If, as a consequence of a court judgment or allegation of patent | |
501 | infringement or for any other reason (not limited to patent issues), | |
502 | conditions are imposed on you (whether by court order, agreement or | |
503 | otherwise) that contradict the conditions of this License, they do not | |
504 | excuse you from the conditions of this License. If you cannot | |
505 | distribute so as to satisfy simultaneously your obligations under this | |
506 | License and any other pertinent obligations, then as a consequence you | |
507 | may not distribute the Library at all. For example, if a patent | |
508 | license would not permit royalty-free redistribution of the Library by | |
509 | all those who receive copies directly or indirectly through you, then | |
510 | the only way you could satisfy both it and this License would be to | |
511 | refrain entirely from distribution of the Library. | |
512 | ||
513 | If any portion of this section is held invalid or unenforceable under any | |
514 | particular circumstance, the balance of the section is intended to apply, | |
515 | and the section as a whole is intended to apply in other circumstances. | |
516 | ||
517 | It is not the purpose of this section to induce you to infringe any | |
518 | patents or other property right claims or to contest validity of any | |
519 | such claims; this section has the sole purpose of protecting the | |
520 | integrity of the free software distribution system which is | |
521 | implemented by public license practices. Many people have made | |
522 | generous contributions to the wide range of software distributed | |
523 | through that system in reliance on consistent application of that | |
524 | system; it is up to the author/donor to decide if he or she is willing | |
525 | to distribute software through any other system and a licensee cannot | |
526 | impose that choice. | |
527 | ||
528 | This section is intended to make thoroughly clear what is believed to | |
529 | be a consequence of the rest of this License. | |
530 | ||
531 | 12. If the distribution and/or use of the Library is restricted in | |
532 | certain countries either by patents or by copyrighted interfaces, the | |
533 | original copyright holder who places the Library under this License may add | |
534 | an explicit geographical distribution limitation excluding those countries, | |
535 | so that distribution is permitted only in or among countries not thus | |
536 | excluded. In such case, this License incorporates the limitation as if | |
537 | written in the body of this License. | |
538 | ||
539 | 13. The Free Software Foundation may publish revised and/or new | |
540 | versions of the Library General Public License from time to time. | |
541 | Such new versions will be similar in spirit to the present version, | |
542 | but may differ in detail to address new problems or concerns. | |
543 | ||
544 | Each version is given a distinguishing version number. If the Library | |
545 | specifies a version number of this License which applies to it and | |
546 | "any later version", you have the option of following the terms and | |
547 | conditions either of that version or of any later version published by | |
548 | the Free Software Foundation. If the Library does not specify a | |
549 | license version number, you may choose any version ever published by | |
550 | the Free Software Foundation. | |
551 | \f | |
552 | 14. If you wish to incorporate parts of the Library into other free | |
553 | programs whose distribution conditions are incompatible with these, | |
554 | write to the author to ask for permission. For software which is | |
555 | copyrighted by the Free Software Foundation, write to the Free | |
556 | Software Foundation; we sometimes make exceptions for this. Our | |
557 | decision will be guided by the two goals of preserving the free status | |
558 | of all derivatives of our free software and of promoting the sharing | |
559 | and reuse of software generally. | |
560 | ||
561 | NO WARRANTY | |
562 | ||
563 | 15. BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO | |
564 | WARRANTY FOR THE LIBRARY, TO THE EXTENT PERMITTED BY APPLICABLE LAW. | |
565 | EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR | |
566 | OTHER PARTIES PROVIDE THE LIBRARY "AS IS" WITHOUT WARRANTY OF ANY | |
567 | KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE | |
568 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | |
569 | PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE | |
570 | LIBRARY IS WITH YOU. SHOULD THE LIBRARY PROVE DEFECTIVE, YOU ASSUME | |
571 | THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. | |
572 | ||
573 | 16. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN | |
574 | WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY | |
575 | AND/OR REDISTRIBUTE THE LIBRARY AS PERMITTED ABOVE, BE LIABLE TO YOU | |
576 | FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR | |
577 | CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE | |
578 | LIBRARY (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING | |
579 | RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A | |
580 | FAILURE OF THE LIBRARY TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF | |
581 | SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH | |
582 | DAMAGES. | |
583 | ||
584 | END OF TERMS AND CONDITIONS | |
585 | \f | |
586 | Appendix: How to Apply These Terms to Your New Libraries | |
587 | ||
588 | If you develop a new library, and you want it to be of the greatest | |
589 | possible use to the public, we recommend making it free software that | |
590 | everyone can redistribute and change. You can do so by permitting | |
591 | redistribution under these terms (or, alternatively, under the terms of the | |
592 | ordinary General Public License). | |
593 | ||
594 | To apply these terms, attach the following notices to the library. It is | |
595 | safest to attach them to the start of each source file to most effectively | |
596 | convey the exclusion of warranty; and each file should have at least the | |
597 | "copyright" line and a pointer to where the full notice is found. | |
598 | ||
599 | <one line to give the library's name and a brief idea of what it does.> | |
600 | Copyright (C) <year> <name of author> | |
601 | ||
602 | This library is free software; you can redistribute it and/or | |
603 | modify it under the terms of the GNU Library General Public | |
604 | License as published by the Free Software Foundation; either | |
605 | version 2 of the License, or (at your option) any later version. | |
606 | ||
607 | This library is distributed in the hope that it will be useful, | |
608 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
609 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
610 | Library General Public License for more details. | |
611 | ||
612 | You should have received a copy of the GNU Library General Public | |
613 | License along with this library; if not, write to the Free | |
614 | Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, | |
615 | MA 02111-1307, USA | |
616 | ||
617 | Also add information on how to contact you by electronic and paper mail. | |
618 | ||
619 | You should also get your employer (if you work as a programmer) or your | |
620 | school, if any, to sign a "copyright disclaimer" for the library, if | |
621 | necessary. Here is a sample; alter the names: | |
622 | ||
623 | Yoyodyne, Inc., hereby disclaims all copyright interest in the | |
624 | library `Frob' (a library for tweaking knobs) written by James Random Hacker. | |
625 | ||
626 | <signature of Ty Coon>, 1 April 1990 | |
627 | Ty Coon, President of Vice | |
628 | ||
629 | That's all there is to it! |