Revision 0cbf0839
LICENSE-LGPL.txt | ||
---|---|---|
1 |
GNU LESSER GENERAL PUBLIC LICENSE |
|
2 |
Version 2.1, February 1999 |
|
3 |
|
|
4 |
Copyright (C) 1991, 1999 Free Software Foundation, Inc. |
|
5 |
59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
6 |
Everyone is permitted to copy and distribute verbatim copies |
|
7 |
of this license document, but changing it is not allowed. |
|
8 |
|
|
9 |
[This is the first released version of the Lesser GPL. It also counts |
|
10 |
as the successor of the GNU Library Public License, version 2, hence |
|
11 |
the version number 2.1.] |
|
12 |
|
|
13 |
Preamble |
|
14 |
|
|
15 |
The licenses for most software are designed to take away your |
|
16 |
freedom to share and change it. By contrast, the GNU General Public |
|
17 |
Licenses are intended to guarantee your freedom to share and change |
|
18 |
free software--to make sure the software is free for all its users. |
|
19 |
|
|
20 |
This license, the Lesser General Public License, applies to some |
|
21 |
specially designated software packages--typically libraries--of the |
|
22 |
Free Software Foundation and other authors who decide to use it. You |
|
23 |
can use it too, but we suggest you first think carefully about whether |
|
24 |
this license or the ordinary General Public License is the better |
|
25 |
strategy to use in any particular case, based on the explanations below. |
|
26 |
|
|
27 |
When we speak of free software, we are referring to freedom of use, |
|
28 |
not price. Our General Public Licenses are designed to make sure that |
|
29 |
you have the freedom to distribute copies of free software (and charge |
|
30 |
for this service if you wish); that you receive source code or can get |
|
31 |
it if you want it; that you can change the software and use pieces of |
|
32 |
it in new free programs; and that you are informed that you can do |
|
33 |
these things. |
|
34 |
|
|
35 |
To protect your rights, we need to make restrictions that forbid |
|
36 |
distributors to deny you these rights or to ask you to surrender these |
|
37 |
rights. These restrictions translate to certain responsibilities for |
|
38 |
you if you distribute copies of the library or if you modify it. |
|
39 |
|
|
40 |
For example, if you distribute copies of the library, whether gratis |
|
41 |
or for a fee, you must give the recipients all the rights that we gave |
|
42 |
you. You must make sure that they, too, receive or can get the source |
|
43 |
code. If you link other code with the library, you must provide |
|
44 |
complete object files to the recipients, so that they can relink them |
|
45 |
with the library after making changes to the library and recompiling |
|
46 |
it. And you must show them these terms so they know their rights. |
|
47 |
|
|
48 |
We protect your rights with a two-step method: (1) we copyright the |
|
49 |
library, and (2) we offer you this license, which gives you legal |
|
50 |
permission to copy, distribute and/or modify the library. |
|
51 |
|
|
52 |
To protect each distributor, we want to make it very clear that |
|
53 |
there is no warranty for the free library. Also, if the library is |
|
54 |
modified by someone else and passed on, the recipients should know |
|
55 |
that what they have is not the original version, so that the original |
|
56 |
author's reputation will not be affected by problems that might be |
|
57 |
introduced by others. |
|
58 |
|
|
59 |
Finally, software patents pose a constant threat to the existence of |
|
60 |
any free program. We wish to make sure that a company cannot |
|
61 |
effectively restrict the users of a free program by obtaining a |
|
62 |
restrictive license from a patent holder. Therefore, we insist that |
|
63 |
any patent license obtained for a version of the library must be |
|
64 |
consistent with the full freedom of use specified in this license. |
|
65 |
|
|
66 |
Most GNU software, including some libraries, is covered by the |
|
67 |
ordinary GNU General Public License. This license, the GNU Lesser |
|
68 |
General Public License, applies to certain designated libraries, and |
|
69 |
is quite different from the ordinary General Public License. We use |
|
70 |
this license for certain libraries in order to permit linking those |
|
71 |
libraries into non-free programs. |
|
72 |
|
|
73 |
When a program is linked with a library, whether statically or using |
|
74 |
a shared library, the combination of the two is legally speaking a |
|
75 |
combined work, a derivative of the original library. The ordinary |
|
76 |
General Public License therefore permits such linking only if the |
|
77 |
entire combination fits its criteria of freedom. The Lesser General |
|
78 |
Public License permits more lax criteria for linking other code with |
|
79 |
the library. |
|
80 |
|
|
81 |
We call this license the "Lesser" General Public License because it |
|
82 |
does Less to protect the user's freedom than the ordinary General |
|
83 |
Public License. It also provides other free software developers Less |
|
84 |
of an advantage over competing non-free programs. These disadvantages |
|
85 |
are the reason we use the ordinary General Public License for many |
|
86 |
libraries. However, the Lesser license provides advantages in certain |
|
87 |
special circumstances. |
|
88 |
|
|
89 |
For example, on rare occasions, there may be a special need to |
|
90 |
encourage the widest possible use of a certain library, so that it becomes |
|
91 |
a de-facto standard. To achieve this, non-free programs must be |
|
92 |
allowed to use the library. A more frequent case is that a free |
|
93 |
library does the same job as widely used non-free libraries. In this |
|
94 |
case, there is little to gain by limiting the free library to free |
|
95 |
software only, so we use the Lesser General Public License. |
|
96 |
|
|
97 |
In other cases, permission to use a particular library in non-free |
|
98 |
programs enables a greater number of people to use a large body of |
|
99 |
free software. For example, permission to use the GNU C Library in |
|
100 |
non-free programs enables many more people to use the whole GNU |
|
101 |
operating system, as well as its variant, the GNU/Linux operating |
|
102 |
system. |
|
103 |
|
|
104 |
Although the Lesser General Public License is Less protective of the |
|
105 |
users' freedom, it does ensure that the user of a program that is |
|
106 |
linked with the Library has the freedom and the wherewithal to run |
|
107 |
that program using a modified version of the Library. |
|
108 |
|
|
109 |
The precise terms and conditions for copying, distribution and |
|
110 |
modification follow. Pay close attention to the difference between a |
|
111 |
"work based on the library" and a "work that uses the library". The |
|
112 |
former contains code derived from the library, whereas the latter must |
|
113 |
be combined with the library in order to run. |
|
114 |
|
|
115 |
GNU LESSER GENERAL PUBLIC LICENSE |
|
116 |
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION |
|
117 |
|
|
118 |
0. This License Agreement applies to any software library or other |
|
119 |
program which contains a notice placed by the copyright holder or |
|
120 |
other authorized party saying it may be distributed under the terms of |
|
121 |
this Lesser General Public License (also called "this License"). |
|
122 |
Each licensee is addressed as "you". |
|
123 |
|
|
124 |
A "library" means a collection of software functions and/or data |
|
125 |
prepared so as to be conveniently linked with application programs |
|
126 |
(which use some of those functions and data) to form executables. |
|
127 |
|
|
128 |
The "Library", below, refers to any such software library or work |
|
129 |
which has been distributed under these terms. A "work based on the |
|
130 |
Library" means either the Library or any derivative work under |
|
131 |
copyright law: that is to say, a work containing the Library or a |
|
132 |
portion of it, either verbatim or with modifications and/or translated |
|
133 |
straightforwardly into another language. (Hereinafter, translation is |
|
134 |
included without limitation in the term "modification".) |
|
135 |
|
|
136 |
"Source code" for a work means the preferred form of the work for |
|
137 |
making modifications to it. For a library, complete source code means |
|
138 |
all the source code for all modules it contains, plus any associated |
|
139 |
interface definition files, plus the scripts used to control compilation |
|
140 |
and installation of the library. |
|
141 |
|
|
142 |
Activities other than copying, distribution and modification are not |
|
143 |
covered by this License; they are outside its scope. The act of |
|
144 |
running a program using the Library is not restricted, and output from |
|
145 |
such a program is covered only if its contents constitute a work based |
|
146 |
on the Library (independent of the use of the Library in a tool for |
|
147 |
writing it). Whether that is true depends on what the Library does |
|
148 |
and what the program that uses the Library does. |
|
149 |
|
|
150 |
1. You may copy and distribute verbatim copies of the Library's |
|
151 |
complete source code as you receive it, in any medium, provided that |
|
152 |
you conspicuously and appropriately publish on each copy an |
|
153 |
appropriate copyright notice and disclaimer of warranty; keep intact |
|
154 |
all the notices that refer to this License and to the absence of any |
|
155 |
warranty; and distribute a copy of this License along with the |
|
156 |
Library. |
|
157 |
|
|
158 |
You may charge a fee for the physical act of transferring a copy, |
|
159 |
and you may at your option offer warranty protection in exchange for a |
|
160 |
fee. |
|
161 |
|
|
162 |
2. You may modify your copy or copies of the Library or any portion |
|
163 |
of it, thus forming a work based on the Library, and copy and |
|
164 |
distribute such modifications or work under the terms of Section 1 |
|
165 |
above, provided that you also meet all of these conditions: |
|
166 |
|
|
167 |
a) The modified work must itself be a software library. |
|
168 |
|
|
169 |
b) You must cause the files modified to carry prominent notices |
|
170 |
stating that you changed the files and the date of any change. |
|
171 |
|
|
172 |
c) You must cause the whole of the work to be licensed at no |
|
173 |
charge to all third parties under the terms of this License. |
|
174 |
|
|
175 |
d) If a facility in the modified Library refers to a function or a |
|
176 |
table of data to be supplied by an application program that uses |
|
177 |
the facility, other than as an argument passed when the facility |
|
178 |
is invoked, then you must make a good faith effort to ensure that, |
|
179 |
in the event an application does not supply such function or |
|
180 |
table, the facility still operates, and performs whatever part of |
|
181 |
its purpose remains meaningful. |
|
182 |
|
|
183 |
(For example, a function in a library to compute square roots has |
|
184 |
a purpose that is entirely well-defined independent of the |
|
185 |
application. Therefore, Subsection 2d requires that any |
|
186 |
application-supplied function or table used by this function must |
|
187 |
be optional: if the application does not supply it, the square |
|
188 |
root function must still compute square roots.) |
|
189 |
|
|
190 |
These requirements apply to the modified work as a whole. If |
|
191 |
identifiable sections of that work are not derived from the Library, |
|
192 |
and can be reasonably considered independent and separate works in |
|
193 |
themselves, then this License, and its terms, do not apply to those |
|
194 |
sections when you distribute them as separate works. But when you |
|
195 |
distribute the same sections as part of a whole which is a work based |
|
196 |
on the Library, the distribution of the whole must be on the terms of |
|
197 |
this License, whose permissions for other licensees extend to the |
|
198 |
entire whole, and thus to each and every part regardless of who wrote |
|
199 |
it. |
|
200 |
|
|
201 |
Thus, it is not the intent of this section to claim rights or contest |
|
202 |
your rights to work written entirely by you; rather, the intent is to |
|
203 |
exercise the right to control the distribution of derivative or |
|
204 |
collective works based on the Library. |
|
205 |
|
|
206 |
In addition, mere aggregation of another work not based on the Library |
|
207 |
with the Library (or with a work based on the Library) on a volume of |
|
208 |
a storage or distribution medium does not bring the other work under |
|
209 |
the scope of this License. |
|
210 |
|
|
211 |
3. You may opt to apply the terms of the ordinary GNU General Public |
|
212 |
License instead of this License to a given copy of the Library. To do |
|
213 |
this, you must alter all the notices that refer to this License, so |
|
214 |
that they refer to the ordinary GNU General Public License, version 2, |
|
215 |
instead of to this License. (If a newer version than version 2 of the |
|
216 |
ordinary GNU General Public License has appeared, then you can specify |
|
217 |
that version instead if you wish.) Do not make any other change in |
|
218 |
these notices. |
|
219 |
|
|
220 |
Once this change is made in a given copy, it is irreversible for |
|
221 |
that copy, so the ordinary GNU General Public License applies to all |
|
222 |
subsequent copies and derivative works made from that copy. |
|
223 |
|
|
224 |
This option is useful when you wish to copy part of the code of |
|
225 |
the Library into a program that is not a library. |
|
226 |
|
|
227 |
4. You may copy and distribute the Library (or a portion or |
|
228 |
derivative of it, under Section 2) in object code or executable form |
|
229 |
under the terms of Sections 1 and 2 above provided that you accompany |
|
230 |
it with the complete corresponding machine-readable source code, which |
|
231 |
must be distributed under the terms of Sections 1 and 2 above on a |
|
232 |
medium customarily used for software interchange. |
|
233 |
|
|
234 |
If distribution of object code is made by offering access to copy |
|
235 |
from a designated place, then offering equivalent access to copy the |
|
236 |
source code from the same place satisfies the requirement to |
|
237 |
distribute the source code, even though third parties are not |
|
238 |
compelled to copy the source along with the object code. |
|
239 |
|
|
240 |
5. A program that contains no derivative of any portion of the |
|
241 |
Library, but is designed to work with the Library by being compiled or |
|
242 |
linked with it, is called a "work that uses the Library". Such a |
|
243 |
work, in isolation, is not a derivative work of the Library, and |
|
244 |
therefore falls outside the scope of this License. |
|
245 |
|
|
246 |
However, linking a "work that uses the Library" with the Library |
|
247 |
creates an executable that is a derivative of the Library (because it |
|
248 |
contains portions of the Library), rather than a "work that uses the |
|
249 |
library". The executable is therefore covered by this License. |
|
250 |
Section 6 states terms for distribution of such executables. |
|
251 |
|
|
252 |
When a "work that uses the Library" uses material from a header file |
|
253 |
that is part of the Library, the object code for the work may be a |
|
254 |
derivative work of the Library even though the source code is not. |
|
255 |
Whether this is true is especially significant if the work can be |
|
256 |
linked without the Library, or if the work is itself a library. The |
|
257 |
threshold for this to be true is not precisely defined by law. |
|
258 |
|
|
259 |
If such an object file uses only numerical parameters, data |
|
260 |
structure layouts and accessors, and small macros and small inline |
|
261 |
functions (ten lines or less in length), then the use of the object |
|
262 |
file is unrestricted, regardless of whether it is legally a derivative |
|
263 |
work. (Executables containing this object code plus portions of the |
|
264 |
Library will still fall under Section 6.) |
|
265 |
|
|
266 |
Otherwise, if the work is a derivative of the Library, you may |
|
267 |
distribute the object code for the work under the terms of Section 6. |
|
268 |
Any executables containing that work also fall under Section 6, |
|
269 |
whether or not they are linked directly with the Library itself. |
|
270 |
|
|
271 |
6. As an exception to the Sections above, you may also combine or |
|
272 |
link a "work that uses the Library" with the Library to produce a |
|
273 |
work containing portions of the Library, and distribute that work |
|
274 |
under terms of your choice, provided that the terms permit |
|
275 |
modification of the work for the customer's own use and reverse |
|
276 |
engineering for debugging such modifications. |
|
277 |
|
|
278 |
You must give prominent notice with each copy of the work that the |
|
279 |
Library is used in it and that the Library and its use are covered by |
|
280 |
this License. You must supply a copy of this License. If the work |
|
281 |
during execution displays copyright notices, you must include the |
|
282 |
copyright notice for the Library among them, as well as a reference |
|
283 |
directing the user to the copy of this License. Also, you must do one |
|
284 |
of these things: |
|
285 |
|
|
286 |
a) Accompany the work with the complete corresponding |
|
287 |
machine-readable source code for the Library including whatever |
|
288 |
changes were used in the work (which must be distributed under |
|
289 |
Sections 1 and 2 above); and, if the work is an executable linked |
|
290 |
with the Library, with the complete machine-readable "work that |
|
291 |
uses the Library", as object code and/or source code, so that the |
|
292 |
user can modify the Library and then relink to produce a modified |
|
293 |
executable containing the modified Library. (It is understood |
|
294 |
that the user who changes the contents of definitions files in the |
|
295 |
Library will not necessarily be able to recompile the application |
|
296 |
to use the modified definitions.) |
|
297 |
|
|
298 |
b) Use a suitable shared library mechanism for linking with the |
|
299 |
Library. A suitable mechanism is one that (1) uses at run time a |
|
300 |
copy of the library already present on the user's computer system, |
|
301 |
rather than copying library functions into the executable, and (2) |
|
302 |
will operate properly with a modified version of the library, if |
|
303 |
the user installs one, as long as the modified version is |
|
304 |
interface-compatible with the version that the work was made with. |
|
305 |
|
|
306 |
c) Accompany the work with a written offer, valid for at |
|
307 |
least three years, to give the same user the materials |
|
308 |
specified in Subsection 6a, above, for a charge no more |
|
309 |
than the cost of performing this distribution. |
|
310 |
|
|
311 |
d) If distribution of the work is made by offering access to copy |
|
312 |
from a designated place, offer equivalent access to copy the above |
|
313 |
specified materials from the same place. |
|
314 |
|
|
315 |
e) Verify that the user has already received a copy of these |
|
316 |
materials or that you have already sent this user a copy. |
|
317 |
|
|
318 |
For an executable, the required form of the "work that uses the |
|
319 |
Library" must include any data and utility programs needed for |
|
320 |
reproducing the executable from it. However, as a special exception, |
|
321 |
the materials to be distributed need not include anything that is |
|
322 |
normally distributed (in either source or binary form) with the major |
|
323 |
components (compiler, kernel, and so on) of the operating system on |
|
324 |
which the executable runs, unless that component itself accompanies |
|
325 |
the executable. |
|
326 |
|
|
327 |
It may happen that this requirement contradicts the license |
|
328 |
restrictions of other proprietary libraries that do not normally |
|
329 |
accompany the operating system. Such a contradiction means you cannot |
|
330 |
use both them and the Library together in an executable that you |
|
331 |
distribute. |
|
332 |
|
|
333 |
7. You may place library facilities that are a work based on the |
|
334 |
Library side-by-side in a single library together with other library |
|
335 |
facilities not covered by this License, and distribute such a combined |
|
336 |
library, provided that the separate distribution of the work based on |
|
337 |
the Library and of the other library facilities is otherwise |
|
338 |
permitted, and provided that you do these two things: |
|
339 |
|
|
340 |
a) Accompany the combined library with a copy of the same work |
|
341 |
based on the Library, uncombined with any other library |
|
342 |
facilities. This must be distributed under the terms of the |
|
343 |
Sections above. |
|
344 |
|
|
345 |
b) Give prominent notice with the combined library of the fact |
|
346 |
that part of it is a work based on the Library, and explaining |
|
347 |
where to find the accompanying uncombined form of the same work. |
|
348 |
|
|
349 |
8. You may not copy, modify, sublicense, link with, or distribute |
|
350 |
the Library except as expressly provided under this License. Any |
|
351 |
attempt otherwise to copy, modify, sublicense, link with, or |
|
352 |
distribute the Library is void, and will automatically terminate your |
|
353 |
rights under this License. However, parties who have received copies, |
|
354 |
or rights, from you under this License will not have their licenses |
|
355 |
terminated so long as such parties remain in full compliance. |
|
356 |
|
|
357 |
9. You are not required to accept this License, since you have not |
|
358 |
signed it. However, nothing else grants you permission to modify or |
|
359 |
distribute the Library or its derivative works. These actions are |
|
360 |
prohibited by law if you do not accept this License. Therefore, by |
|
361 |
modifying or distributing the Library (or any work based on the |
|
362 |
Library), you indicate your acceptance of this License to do so, and |
|
363 |
all its terms and conditions for copying, distributing or modifying |
|
364 |
the Library or works based on it. |
|
365 |
|
|
366 |
10. Each time you redistribute the Library (or any work based on the |
|
367 |
Library), the recipient automatically receives a license from the |
|
368 |
original licensor to copy, distribute, link with or modify the Library |
|
369 |
subject to these terms and conditions. You may not impose any further |
|
370 |
restrictions on the recipients' exercise of the rights granted herein. |
|
371 |
You are not responsible for enforcing compliance by third parties with |
|
372 |
this License. |
|
373 |
|
|
374 |
11. If, as a consequence of a court judgment or allegation of patent |
|
375 |
infringement or for any other reason (not limited to patent issues), |
|
376 |
conditions are imposed on you (whether by court order, agreement or |
|
377 |
otherwise) that contradict the conditions of this License, they do not |
|
378 |
excuse you from the conditions of this License. If you cannot |
|
379 |
distribute so as to satisfy simultaneously your obligations under this |
|
380 |
License and any other pertinent obligations, then as a consequence you |
|
381 |
may not distribute the Library at all. For example, if a patent |
|
382 |
license would not permit royalty-free redistribution of the Library by |
|
383 |
all those who receive copies directly or indirectly through you, then |
|
384 |
the only way you could satisfy both it and this License would be to |
|
385 |
refrain entirely from distribution of the Library. |
|
386 |
|
|
387 |
If any portion of this section is held invalid or unenforceable under any |
|
388 |
particular circumstance, the balance of the section is intended to apply, |
|
389 |
and the section as a whole is intended to apply in other circumstances. |
|
390 |
|
|
391 |
It is not the purpose of this section to induce you to infringe any |
|
392 |
patents or other property right claims or to contest validity of any |
|
393 |
such claims; this section has the sole purpose of protecting the |
|
394 |
integrity of the free software distribution system which is |
|
395 |
implemented by public license practices. Many people have made |
|
396 |
generous contributions to the wide range of software distributed |
|
397 |
through that system in reliance on consistent application of that |
|
398 |
system; it is up to the author/donor to decide if he or she is willing |
|
399 |
to distribute software through any other system and a licensee cannot |
|
400 |
impose that choice. |
|
401 |
|
|
402 |
This section is intended to make thoroughly clear what is believed to |
|
403 |
be a consequence of the rest of this License. |
|
404 |
|
|
405 |
12. If the distribution and/or use of the Library is restricted in |
|
406 |
certain countries either by patents or by copyrighted interfaces, the |
|
407 |
original copyright holder who places the Library under this License may add |
|
408 |
an explicit geographical distribution limitation excluding those countries, |
|
409 |
so that distribution is permitted only in or among countries not thus |
|
410 |
excluded. In such case, this License incorporates the limitation as if |
|
411 |
written in the body of this License. |
|
412 |
|
|
413 |
13. The Free Software Foundation may publish revised and/or new |
|
414 |
versions of the Lesser General Public License from time to time. |
|
415 |
Such new versions will be similar in spirit to the present version, |
|
416 |
but may differ in detail to address new problems or concerns. |
|
417 |
|
|
418 |
Each version is given a distinguishing version number. If the Library |
|
419 |
specifies a version number of this License which applies to it and |
|
420 |
"any later version", you have the option of following the terms and |
|
421 |
conditions either of that version or of any later version published by |
|
422 |
the Free Software Foundation. If the Library does not specify a |
|
423 |
license version number, you may choose any version ever published by |
|
424 |
the Free Software Foundation. |
|
425 |
|
|
426 |
14. If you wish to incorporate parts of the Library into other free |
|
427 |
programs whose distribution conditions are incompatible with these, |
|
428 |
write to the author to ask for permission. For software which is |
|
429 |
copyrighted by the Free Software Foundation, write to the Free |
|
430 |
Software Foundation; we sometimes make exceptions for this. Our |
|
431 |
decision will be guided by the two goals of preserving the free status |
|
432 |
of all derivatives of our free software and of promoting the sharing |
|
433 |
and reuse of software generally. |
|
434 |
|
|
435 |
NO WARRANTY |
|
436 |
|
|
437 |
15. BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO |
|
438 |
WARRANTY FOR THE LIBRARY, TO THE EXTENT PERMITTED BY APPLICABLE LAW. |
|
439 |
EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR |
|
440 |
OTHER PARTIES PROVIDE THE LIBRARY "AS IS" WITHOUT WARRANTY OF ANY |
|
441 |
KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE |
|
442 |
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
|
443 |
PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE |
|
444 |
LIBRARY IS WITH YOU. SHOULD THE LIBRARY PROVE DEFECTIVE, YOU ASSUME |
|
445 |
THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. |
|
446 |
|
|
447 |
16. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN |
|
448 |
WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY |
|
449 |
AND/OR REDISTRIBUTE THE LIBRARY AS PERMITTED ABOVE, BE LIABLE TO YOU |
|
450 |
FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR |
|
451 |
CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE |
|
452 |
LIBRARY (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING |
|
453 |
RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A |
|
454 |
FAILURE OF THE LIBRARY TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF |
|
455 |
SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH |
|
456 |
DAMAGES. |
|
457 |
|
|
458 |
END OF TERMS AND CONDITIONS |
|
459 |
|
|
460 |
How to Apply These Terms to Your New Libraries |
|
461 |
|
|
462 |
If you develop a new library, and you want it to be of the greatest |
|
463 |
possible use to the public, we recommend making it free software that |
|
464 |
everyone can redistribute and change. You can do so by permitting |
|
465 |
redistribution under these terms (or, alternatively, under the terms of the |
|
466 |
ordinary General Public License). |
|
467 |
|
|
468 |
To apply these terms, attach the following notices to the library. It is |
|
469 |
safest to attach them to the start of each source file to most effectively |
|
470 |
convey the exclusion of warranty; and each file should have at least the |
|
471 |
"copyright" line and a pointer to where the full notice is found. |
|
472 |
|
|
473 |
<one line to give the library's name and a brief idea of what it does.> |
|
474 |
Copyright (C) <year> <name of author> |
|
475 |
|
|
476 |
This library is free software; you can redistribute it and/or |
|
477 |
modify it under the terms of the GNU Lesser General Public |
|
478 |
License as published by the Free Software Foundation; either |
|
479 |
version 2.1 of the License, or (at your option) any later version. |
|
480 |
|
|
481 |
This library is distributed in the hope that it will be useful, |
|
482 |
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
483 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|
484 |
Lesser General Public License for more details. |
|
485 |
|
|
486 |
You should have received a copy of the GNU Lesser General Public |
|
487 |
License along with this library; if not, write to the Free Software |
|
488 |
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
489 |
|
|
490 |
Also add information on how to contact you by electronic and paper mail. |
|
491 |
|
|
492 |
You should also get your employer (if you work as a programmer) or your |
|
493 |
school, if any, to sign a "copyright disclaimer" for the library, if |
|
494 |
necessary. Here is a sample; alter the names: |
|
495 |
|
|
496 |
Yoyodyne, Inc., hereby disclaims all copyright interest in the |
|
497 |
library `Frob' (a library for tweaking knobs) written by James Random Hacker. |
|
498 |
|
|
499 |
<signature of Ty Coon>, 1 April 1990 |
|
500 |
Ty Coon, President of Vice |
|
501 |
|
|
502 |
That's all there is to it! |
|
503 |
|
|
504 |
|
Makefile | ||
---|---|---|
1 |
# OASIS_START |
|
2 |
# DO NOT EDIT (digest: bc1e05bfc8b39b664f29dae8dbd3ebbb) |
|
3 |
|
|
4 |
SETUP = ocaml setup.ml |
|
5 |
|
|
6 |
build: setup.data |
|
7 |
$(SETUP) -build $(BUILDFLAGS) |
|
8 |
|
|
9 |
doc: setup.data build |
|
10 |
$(SETUP) -doc $(DOCFLAGS) |
|
11 |
|
|
12 |
test: setup.data build |
|
13 |
$(SETUP) -test $(TESTFLAGS) |
|
14 |
|
|
15 |
all: |
|
16 |
$(SETUP) -all $(ALLFLAGS) |
|
17 |
|
|
18 |
install: setup.data |
|
19 |
$(SETUP) -install $(INSTALLFLAGS) |
|
20 |
|
|
21 |
uninstall: setup.data |
|
22 |
$(SETUP) -uninstall $(UNINSTALLFLAGS) |
|
23 |
|
|
24 |
reinstall: setup.data |
|
25 |
$(SETUP) -reinstall $(REINSTALLFLAGS) |
|
26 |
|
|
27 |
clean: |
|
28 |
$(SETUP) -clean $(CLEANFLAGS) |
|
29 |
|
|
30 |
distclean: |
|
31 |
$(SETUP) -distclean $(DISTCLEANFLAGS) |
|
32 |
|
|
33 |
setup.data: |
|
34 |
$(SETUP) -configure $(CONFIGUREFLAGS) |
|
35 |
|
|
36 |
.PHONY: build doc test all install uninstall reinstall clean distclean configure |
|
37 |
|
|
38 |
# OASIS_STOP |
README.lustrec | ||
---|---|---|
1 |
To compile |
|
2 |
|
|
3 |
# ./configure |
|
4 |
# make |
|
5 |
# make install |
|
6 |
|
|
7 |
To use it |
|
8 |
|
|
9 |
In a modular setting: |
|
10 |
# lustrec <filename.lus> |
|
11 |
will generate filename.c and filename.h |
|
12 |
|
|
13 |
With a main node: |
|
14 |
# lustrec -node <main_node> <filename.lus> |
|
15 |
will generate the same two files, but filename.c will contains a main function |
|
16 |
|
|
17 |
With a main node, with a static memory allocation scheme: |
|
18 |
# lustrec -node <main_node> -static <filename.lus> |
|
19 |
same as above, but main function will statically allocate memory |
|
20 |
|
|
21 |
To compile it: |
|
22 |
# gcc -Iinclude filename.c |
|
23 |
where include links to the include folder |
|
24 |
|
|
25 |
To run it with the generated main function: |
|
26 |
- compile the io_frontend.o |
|
27 |
# gcc -c include/io_frontend.c |
|
28 |
# gcc -Iinclude -o target_name io_frontend.c filename.c |
|
29 |
# ./target_name |
|
30 |
|
|
31 |
To analyze it with frama-c |
|
32 |
# frama-c -cpp-extra-args='-Iinclude' filename.c |
TODO.org | ||
---|---|---|
1 |
* TODO |
|
2 |
** include files |
|
3 |
** main function |
|
4 |
*** add a clean test to forbid array arguments for main node |
|
5 |
(no available input/output methods) |
|
6 |
** test suite |
|
7 |
*** for complex dependency graphs (notably mem/mem cyclic dependencies) |
|
8 |
*** for clocks |
|
9 |
*** for arrays (non-generic nodes) |
|
10 |
** compare with lus2c (verimag) |
|
11 |
** extension |
|
12 |
*** array access: done |
|
13 |
*** add an option to dynamically check array accesses: done |
|
14 |
*** power operator: done |
|
15 |
*** automaton |
|
16 |
*** annotations to ACSL |
|
17 |
** init checking |
|
18 |
*** to be done !!! |
|
19 |
** normalization |
|
20 |
*** sub-expression sharing seems to be not totally working: fixed |
|
21 |
*** improve behavior for power and access operators:done |
|
22 |
*** more type-directed normalization (notably to improve code gen for arrays): done |
|
23 |
*** reuse of dead vars instead of systematically allocating new local vars |
|
24 |
*** add a clean test for used but undefined nodes |
|
25 |
** typing |
|
26 |
*** correct typing of arith ops (real/int with subtyping ?) |
|
27 |
*** display array dimensions with correct names: done |
|
28 |
*** clocks must not be static inputs: done |
|
29 |
** clock calculus |
|
30 |
*** extension from named clocks to valued clocks ? |
|
31 |
*** static inputs should be polymorphic, as global constants are: done |
_oasis | ||
---|---|---|
1 |
OASISFormat: 0.2 |
|
2 |
Name: Lustre Compiler |
|
3 |
Version: 1.2 |
|
4 |
Synopsis: Lustre compiler C and Java backends |
|
5 |
Authors: |
|
6 |
License: LGPL-2.1 |
|
7 |
Plugins: DevFiles (0.2) |
|
8 |
# , Custom (0.2) |
|
9 |
PreBuildCommand: ./svn_version.sh |
|
10 |
PostInstallCommand: mkdir -p /usr/local/include/lustrec; cp include/* /usr/local/include/lustrec/ |
|
11 |
|
|
12 |
Executable lustrec |
|
13 |
Path: src |
|
14 |
BuildTools: ocamlbuild |
|
15 |
MainIs: main_lustre_compiler.ml |
|
16 |
BuildDepends: ocamlgraph,str,unix |
|
17 |
CompiledObject: native |
|
18 |
Test nonregression |
|
19 |
Type: custom |
|
20 |
Command: make test-compile |
|
21 |
WorkingDirectory: test |
|
22 |
Run: true |
_tags | ||
---|---|---|
1 |
# OASIS_START |
|
2 |
# DO NOT EDIT (digest: 54aa7498411485980381101fb69226dd) |
|
3 |
# Executable lustrec |
|
4 |
"src/main_lustre_compiler.native": pkg_unix |
|
5 |
"src/main_lustre_compiler.native": pkg_str |
|
6 |
"src/main_lustre_compiler.native": pkg_ocamlgraph |
|
7 |
<src/*.ml{,i}>: pkg_unix |
|
8 |
<src/*.ml{,i}>: pkg_str |
|
9 |
<src/*.ml{,i}>: pkg_ocamlgraph |
|
10 |
# OASIS_STOP |
configure | ||
---|---|---|
1 |
#!/bin/sh |
|
2 |
|
|
3 |
# OASIS_START |
|
4 |
# DO NOT EDIT (digest: ed33e59fe00e48bc31edf413bbc8b8d6) |
|
5 |
set -e |
|
6 |
|
|
7 |
ocaml setup.ml -configure $* |
|
8 |
# OASIS_STOP |
include/StdIn.java | ||
---|---|---|
1 |
/************************************************************************* |
|
2 |
* Compilation: javac StdIn.java |
|
3 |
* Execution: java StdIn (interactive test of basic functionality) |
|
4 |
* |
|
5 |
* Reads in data of various types from standard input. |
|
6 |
* |
|
7 |
*************************************************************************/ |
|
8 |
|
|
9 |
import java.util.Scanner; |
|
10 |
import java.util.regex.Pattern; |
|
11 |
|
|
12 |
/** |
|
13 |
* <i>Standard input</i>. This class provides methods for reading strings |
|
14 |
* and numbers from standard input. See |
|
15 |
* <a href="http://introcs.cs.princeton.edu/15inout">Section 1.5</a> of |
|
16 |
* <i>Introduction to Programming in Java: An Interdisciplinary Approach</i> |
|
17 |
* by Robert Sedgewick and Kevin Wayne. |
|
18 |
* <p> |
|
19 |
* See the technical information in the documentation of the {@link In} |
|
20 |
* class, which applies to this class as well. |
|
21 |
*/ |
|
22 |
public final class StdIn { |
|
23 |
|
|
24 |
// it doesn't make sense to instantiate this class |
|
25 |
private StdIn() {} |
|
26 |
|
|
27 |
private static Scanner scanner; |
|
28 |
|
|
29 |
/*** begin: section (1 of 2) of code duplicated from In to StdIn */ |
|
30 |
|
|
31 |
// assume Unicode UTF-8 encoding |
|
32 |
private static final String charsetName = "UTF-8"; |
|
33 |
|
|
34 |
// assume language = English, country = US for consistency with System.out. |
|
35 |
private static final java.util.Locale usLocale = |
|
36 |
new java.util.Locale("en", "US"); |
|
37 |
|
|
38 |
// the default token separator; we maintain the invariant that this value |
|
39 |
// is held by the scanner's delimiter between calls |
|
40 |
private static final Pattern WHITESPACE_PATTERN |
|
41 |
= Pattern.compile("\\p{javaWhitespace}+"); |
|
42 |
|
|
43 |
// makes whitespace characters significant |
|
44 |
private static final Pattern EMPTY_PATTERN |
|
45 |
= Pattern.compile(""); |
|
46 |
|
|
47 |
// used to read the entire input. source: |
|
48 |
// http://weblogs.java.net/blog/pat/archive/2004/10/stupid_scanner_1.html |
|
49 |
private static final Pattern EVERYTHING_PATTERN |
|
50 |
= Pattern.compile("\\A"); |
|
51 |
|
|
52 |
/*** end: section (1 of 2) of code duplicated from In to StdIn */ |
|
53 |
|
|
54 |
/*** begin: section (2 of 2) of code duplicated from In to StdIn, |
|
55 |
* with all methods changed from "public" to "public static" ***/ |
|
56 |
|
|
57 |
/** |
|
58 |
* Is the input empty (except possibly for whitespace)? Use this |
|
59 |
* to know whether the next call to {@link #readString()}, |
|
60 |
* {@link #readDouble()}, etc will succeed. |
|
61 |
*/ |
|
62 |
public static boolean isEmpty() { |
|
63 |
return !scanner.hasNext(); |
|
64 |
} |
|
65 |
|
|
66 |
/** |
|
67 |
* Does the input have a next line? Use this to know whether the |
|
68 |
* next call to {@link #readLine()} will succeed. <p> Functionally |
|
69 |
* equivalent to {@link #hasNextChar()}. |
|
70 |
*/ |
|
71 |
public static boolean hasNextLine() { |
|
72 |
return scanner.hasNextLine(); |
|
73 |
} |
|
74 |
|
|
75 |
/** |
|
76 |
* Is the input empty (including whitespace)? Use this to know |
|
77 |
* whether the next call to {@link #readChar()} will succeed. <p> Functionally |
|
78 |
* equivalent to {@link #hasNextLine()}. |
|
79 |
*/ |
|
80 |
public static boolean hasNextChar() { |
|
81 |
scanner.useDelimiter(EMPTY_PATTERN); |
|
82 |
boolean result = scanner.hasNext(); |
|
83 |
scanner.useDelimiter(WHITESPACE_PATTERN); |
|
84 |
return result; |
|
85 |
} |
|
86 |
|
|
87 |
|
|
88 |
/** |
|
89 |
* Read and return the next line. |
|
90 |
*/ |
|
91 |
public static String readLine() { |
|
92 |
String line; |
|
93 |
try { line = scanner.nextLine(); } |
|
94 |
catch (Exception e) { line = null; } |
|
95 |
return line; |
|
96 |
} |
|
97 |
|
|
98 |
/** |
|
99 |
* Read and return the next character. |
|
100 |
*/ |
|
101 |
public static char readChar() { |
|
102 |
scanner.useDelimiter(EMPTY_PATTERN); |
|
103 |
String ch = scanner.next(); |
|
104 |
assert (ch.length() == 1) : "Internal (Std)In.readChar() error!" |
|
105 |
+ " Please contact the authors."; |
|
106 |
scanner.useDelimiter(WHITESPACE_PATTERN); |
|
107 |
return ch.charAt(0); |
|
108 |
} |
|
109 |
|
|
110 |
|
|
111 |
/** |
|
112 |
* Read and return the remainder of the input as a string. |
|
113 |
*/ |
|
114 |
public static String readAll() { |
|
115 |
if (!scanner.hasNextLine()) |
|
116 |
return ""; |
|
117 |
|
|
118 |
String result = scanner.useDelimiter(EVERYTHING_PATTERN).next(); |
|
119 |
// not that important to reset delimeter, since now scanner is empty |
|
120 |
scanner.useDelimiter(WHITESPACE_PATTERN); // but let's do it anyway |
|
121 |
return result; |
|
122 |
} |
|
123 |
|
|
124 |
|
|
125 |
/** |
|
126 |
* Read and return the next string. |
|
127 |
*/ |
|
128 |
public static String readString() { |
|
129 |
return scanner.next(); |
|
130 |
} |
|
131 |
|
|
132 |
/** |
|
133 |
* Read and return the next int. |
|
134 |
*/ |
|
135 |
public static int readInt() { |
|
136 |
return scanner.nextInt(); |
|
137 |
} |
|
138 |
|
|
139 |
/** |
|
140 |
* Read and return the next double. |
|
141 |
*/ |
|
142 |
public static double readDouble() { |
|
143 |
return scanner.nextDouble(); |
|
144 |
} |
|
145 |
|
|
146 |
/** |
|
147 |
* Read and return the next float. |
|
148 |
*/ |
|
149 |
public static float readFloat() { |
|
150 |
return scanner.nextFloat(); |
|
151 |
} |
|
152 |
|
|
153 |
/** |
|
154 |
* Read and return the next long. |
|
155 |
*/ |
|
156 |
public static long readLong() { |
|
157 |
return scanner.nextLong(); |
|
158 |
} |
|
159 |
|
|
160 |
/** |
|
161 |
* Read and return the next short. |
|
162 |
*/ |
|
163 |
public static short readShort() { |
|
164 |
return scanner.nextShort(); |
|
165 |
} |
|
166 |
|
|
167 |
/** |
|
168 |
* Read and return the next byte. |
|
169 |
*/ |
|
170 |
public static byte readByte() { |
|
171 |
return scanner.nextByte(); |
|
172 |
} |
|
173 |
|
|
174 |
/** |
|
175 |
* Read and return the next boolean, allowing case-insensitive |
|
176 |
* "true" or "1" for true, and "false" or "0" for false. |
|
177 |
*/ |
|
178 |
public static boolean readBoolean() { |
|
179 |
String s = readString(); |
|
180 |
if (s.equalsIgnoreCase("true")) return true; |
|
181 |
if (s.equalsIgnoreCase("false")) return false; |
|
182 |
if (s.equals("1")) return true; |
|
183 |
if (s.equals("0")) return false; |
|
184 |
throw new java.util.InputMismatchException(); |
|
185 |
} |
|
186 |
|
|
187 |
/** |
|
188 |
* Read all strings until the end of input is reached, and return them. |
|
189 |
*/ |
|
190 |
public static String[] readAllStrings() { |
|
191 |
// we could use readAll.trim().split(), but that's not consistent |
|
192 |
// since trim() uses characters 0x00..0x20 as whitespace |
|
193 |
String[] tokens = WHITESPACE_PATTERN.split(readAll()); |
|
194 |
if (tokens.length == 0 || tokens[0].length() > 0) |
|
195 |
return tokens; |
|
196 |
String[] decapitokens = new String[tokens.length-1]; |
|
197 |
for (int i=0; i < tokens.length-1; i++) |
|
198 |
decapitokens[i] = tokens[i+1]; |
|
199 |
return decapitokens; |
|
200 |
} |
|
201 |
|
|
202 |
/** |
|
203 |
* Read all ints until the end of input is reached, and return them. |
|
204 |
*/ |
|
205 |
public static int[] readAllInts() { |
|
206 |
String[] fields = readAllStrings(); |
|
207 |
int[] vals = new int[fields.length]; |
|
208 |
for (int i = 0; i < fields.length; i++) |
|
209 |
vals[i] = Integer.parseInt(fields[i]); |
|
210 |
return vals; |
|
211 |
} |
|
212 |
|
|
213 |
/** |
|
214 |
* Read all doubles until the end of input is reached, and return them. |
|
215 |
*/ |
|
216 |
public static double[] readAllDoubles() { |
|
217 |
String[] fields = readAllStrings(); |
|
218 |
double[] vals = new double[fields.length]; |
|
219 |
for (int i = 0; i < fields.length; i++) |
|
220 |
vals[i] = Double.parseDouble(fields[i]); |
|
221 |
return vals; |
|
222 |
} |
|
223 |
|
|
224 |
/*** end: section (2 of 2) of code duplicated from In to StdIn */ |
|
225 |
|
|
226 |
|
|
227 |
/** |
|
228 |
* If StdIn changes, use this to reinitialize the scanner. |
|
229 |
*/ |
|
230 |
private static void resync() { |
|
231 |
setScanner(new Scanner(new java.io.BufferedInputStream(System.in), |
|
232 |
charsetName)); |
|
233 |
} |
|
234 |
|
|
235 |
private static void setScanner(Scanner scanner) { |
|
236 |
StdIn.scanner = scanner; |
|
237 |
StdIn.scanner.useLocale(usLocale); |
|
238 |
} |
|
239 |
|
|
240 |
// do this once when StdIn is initialized |
|
241 |
static { |
|
242 |
resync(); |
|
243 |
} |
|
244 |
|
|
245 |
/** |
|
246 |
* Reads all ints from stdin. |
|
247 |
* @deprecated For more consistency, use {@link #readAllInts()} |
|
248 |
*/ |
|
249 |
public static int[] readInts() { |
|
250 |
return readAllInts(); |
|
251 |
} |
|
252 |
|
|
253 |
/** |
|
254 |
* Reads all doubles from stdin. |
|
255 |
* @deprecated For more consistency, use {@link #readAllDoubles()} |
|
256 |
*/ |
|
257 |
public static double[] readDoubles() { |
|
258 |
return readAllDoubles(); |
|
259 |
} |
|
260 |
|
|
261 |
/** |
|
262 |
* Reads all Strings from stdin. |
|
263 |
* @deprecated For more consistency, use {@link #readAllStrings()} |
|
264 |
*/ |
|
265 |
public static String[] readStrings() { |
|
266 |
return readAllStrings(); |
|
267 |
} |
|
268 |
|
|
269 |
|
|
270 |
/** |
|
271 |
* Interactive test of basic functionality. |
|
272 |
*/ |
|
273 |
public static void main(String[] args) { |
|
274 |
|
|
275 |
System.out.println("Type a string: "); |
|
276 |
String s = StdIn.readString(); |
|
277 |
System.out.println("Your string was: " + s); |
|
278 |
System.out.println(); |
|
279 |
|
|
280 |
System.out.println("Type an int: "); |
|
281 |
int a = StdIn.readInt(); |
|
282 |
System.out.println("Your int was: " + a); |
|
283 |
System.out.println(); |
|
284 |
|
|
285 |
System.out.println("Type a boolean: "); |
|
286 |
boolean b = StdIn.readBoolean(); |
|
287 |
System.out.println("Your boolean was: " + b); |
|
288 |
System.out.println(); |
|
289 |
|
|
290 |
System.out.println("Type a double: "); |
|
291 |
double c = StdIn.readDouble(); |
|
292 |
System.out.println("Your double was: " + c); |
|
293 |
System.out.println(); |
|
294 |
|
|
295 |
} |
|
296 |
|
|
297 |
} |
include/io_frontend.c | ||
---|---|---|
1 |
#include <stdlib.h> /* Provides exit */ |
|
2 |
#include <stdio.h> /* Provides printf, scanf, sscanf */ |
|
3 |
#include <unistd.h> /* Provides isatty */ |
|
4 |
#include "io_frontend.h" |
|
5 |
|
|
6 |
int ISATTY; |
|
7 |
|
|
8 |
/* Standard Input procedures **************/ |
|
9 |
_Bool _get_bool(char* n){ |
|
10 |
char b[512]; |
|
11 |
_Bool r = 0; |
|
12 |
int s = 1; |
|
13 |
char c; |
|
14 |
do { |
|
15 |
if(ISATTY) { |
|
16 |
if((s != 1)||(r == -1)) printf("\a"); |
|
17 |
printf("%s (1,t,T/0,f,F) ? ", n); |
|
18 |
} |
|
19 |
if(scanf("%s", b)==EOF) exit(0); |
|
20 |
s = sscanf(b, "%c", &c); |
|
21 |
r = -1; |
|
22 |
if((c == '0') || (c == 'f') || (c == 'F')) r = 0; |
|
23 |
if((c == '1') || (c == 't') || (c == 'T')) r = 1; |
|
24 |
} while((s != 1) || (r == -1)); |
|
25 |
return r; |
|
26 |
} |
|
27 |
int _get_int(char* n){ |
|
28 |
char b[512]; |
|
29 |
int r; |
|
30 |
int s = 1; |
|
31 |
do { |
|
32 |
if(ISATTY) { |
|
33 |
if(s != 1) printf("\a"); |
|
34 |
printf("%s (integer) ? ", n); |
|
35 |
} |
|
36 |
if(scanf("%s", b)==EOF) exit(0); |
|
37 |
s = sscanf(b, "%d", &r); |
|
38 |
} while(s != 1); |
|
39 |
return r; |
|
40 |
} |
|
41 |
double _get_double(char* n){ |
|
42 |
char b[512]; |
|
43 |
double r; |
|
44 |
int s = 1; |
|
45 |
do { |
|
46 |
if(ISATTY) { |
|
47 |
if(s != 1) printf("\a"); |
|
48 |
printf("%s (double) ? ", n); |
|
49 |
} |
|
50 |
if(scanf("%s", b)==EOF) exit(0); |
|
51 |
s = sscanf(b, "%lf", &r); |
|
52 |
} while(s != 1); |
|
53 |
return r; |
|
54 |
} |
|
55 |
/* Standard Output procedures **************/ |
|
56 |
void _put_bool(char* n, _Bool _V){ |
|
57 |
if(ISATTY) { |
|
58 |
printf("%s = ", n); |
|
59 |
} else { |
|
60 |
printf("'%s': ", n); |
|
61 |
}; |
|
62 |
printf("'%i' ", (_V)? 1 : 0); |
|
63 |
printf("\n"); |
|
64 |
} |
|
65 |
void _put_int(char* n, int _V){ |
|
66 |
if(ISATTY) { |
|
67 |
printf("%s = ", n); |
|
68 |
} else { |
|
69 |
printf("'%s': ", n); |
|
70 |
}; |
|
71 |
printf("'%d' ", _V); |
|
72 |
printf("\n"); |
|
73 |
} |
|
74 |
void _put_double(char* n, double _V){ |
|
75 |
if(ISATTY) { |
|
76 |
printf("%s = ", n); |
|
77 |
} else { |
|
78 |
printf("'%s': ", n); |
|
79 |
}; |
|
80 |
printf("'%f' ", _V); |
|
81 |
printf("\n"); |
|
82 |
} |
include/io_frontend.h | ||
---|---|---|
1 |
#ifndef _IO_FRONTEND |
|
2 |
#define _IO_FRONTEND |
|
3 |
|
|
4 |
/* Print a promt ? ************************/ |
|
5 |
extern int ISATTY; |
|
6 |
|
|
7 |
/* Standard Input procedures **************/ |
|
8 |
|
|
9 |
/*@ assigns *n; */ |
|
10 |
extern _Bool _get_bool(char* n); |
|
11 |
|
|
12 |
/*@ assigns *n; */ |
|
13 |
extern int _get_int(char* n); |
|
14 |
|
|
15 |
/*@ assigns *n; */ |
|
16 |
extern double _get_double(char* n); |
|
17 |
|
|
18 |
/* Standard Output procedures **************/ |
|
19 |
/*@ assigns \nothing; */ |
|
20 |
extern void _put_bool(char* n, _Bool _V); |
|
21 |
|
|
22 |
/*@ assigns \nothing; */ |
|
23 |
extern void _put_int(char* n, int _V); |
|
24 |
|
|
25 |
/*@ assigns \nothing; */ |
|
26 |
extern void _put_double(char* n, double _V); |
|
27 |
|
|
28 |
#endif |
myocamlbuild.ml | ||
---|---|---|
1 |
(* OASIS_START *) |
|
2 |
(* DO NOT EDIT (digest: 7eabc0106cad87d67c960d9a2ff80b28) *) |
|
3 |
module OASISGettext = struct |
|
4 |
# 21 "/build/buildd/oasis-0.2.0/src/oasis/OASISGettext.ml" |
|
5 |
|
|
6 |
let ns_ str = |
|
7 |
str |
|
8 |
|
|
9 |
let s_ str = |
|
10 |
str |
|
11 |
|
|
12 |
let f_ (str : ('a, 'b, 'c, 'd) format4) = |
|
13 |
str |
|
14 |
|
|
15 |
let fn_ fmt1 fmt2 n = |
|
16 |
if n = 1 then |
|
17 |
fmt1^^"" |
|
18 |
else |
|
19 |
fmt2^^"" |
|
20 |
|
|
21 |
let init = |
|
22 |
[] |
|
23 |
|
|
24 |
end |
|
25 |
|
|
26 |
module OASISExpr = struct |
|
27 |
# 21 "/build/buildd/oasis-0.2.0/src/oasis/OASISExpr.ml" |
|
28 |
|
|
29 |
|
|
30 |
|
|
31 |
open OASISGettext |
|
32 |
|
|
33 |
type test = string |
|
34 |
|
|
35 |
type flag = string |
|
36 |
|
|
37 |
type t = |
|
38 |
| EBool of bool |
|
39 |
| ENot of t |
|
40 |
| EAnd of t * t |
|
41 |
| EOr of t * t |
|
42 |
| EFlag of flag |
|
43 |
| ETest of test * string |
|
44 |
|
|
45 |
|
|
46 |
type 'a choices = (t * 'a) list |
|
47 |
|
|
48 |
let eval var_get t = |
|
49 |
let rec eval' = |
|
50 |
function |
|
51 |
| EBool b -> |
|
52 |
b |
|
53 |
|
|
54 |
| ENot e -> |
|
55 |
not (eval' e) |
|
56 |
|
|
57 |
| EAnd (e1, e2) -> |
|
58 |
(eval' e1) && (eval' e2) |
|
59 |
|
|
60 |
| EOr (e1, e2) -> |
|
61 |
(eval' e1) || (eval' e2) |
|
62 |
|
|
63 |
| EFlag nm -> |
|
64 |
let v = |
|
65 |
var_get nm |
|
66 |
in |
|
67 |
assert(v = "true" || v = "false"); |
|
68 |
(v = "true") |
|
69 |
|
|
70 |
| ETest (nm, vl) -> |
|
71 |
let v = |
|
72 |
var_get nm |
|
73 |
in |
|
74 |
(v = vl) |
|
75 |
in |
|
76 |
eval' t |
|
77 |
|
|
78 |
let choose ?printer ?name var_get lst = |
|
79 |
let rec choose_aux = |
|
80 |
function |
|
81 |
| (cond, vl) :: tl -> |
|
82 |
if eval var_get cond then |
|
83 |
vl |
|
84 |
else |
|
85 |
choose_aux tl |
|
86 |
| [] -> |
|
87 |
let str_lst = |
|
88 |
if lst = [] then |
|
89 |
s_ "<empty>" |
|
90 |
else |
|
91 |
String.concat |
|
92 |
(s_ ", ") |
|
93 |
(List.map |
|
94 |
(fun (cond, vl) -> |
|
95 |
match printer with |
|
96 |
| Some p -> p vl |
|
97 |
| None -> s_ "<no printer>") |
|
98 |
lst) |
|
99 |
in |
|
100 |
match name with |
|
101 |
| Some nm -> |
|
102 |
failwith |
|
103 |
(Printf.sprintf |
|
104 |
(f_ "No result for the choice list '%s': %s") |
|
105 |
nm str_lst) |
|
106 |
| None -> |
|
107 |
failwith |
|
108 |
(Printf.sprintf |
|
109 |
(f_ "No result for a choice list: %s") |
|
110 |
str_lst) |
|
111 |
in |
|
112 |
choose_aux (List.rev lst) |
|
113 |
|
|
114 |
end |
|
115 |
|
|
116 |
|
|
117 |
module BaseEnvLight = struct |
|
118 |
# 21 "/build/buildd/oasis-0.2.0/src/base/BaseEnvLight.ml" |
|
119 |
|
|
120 |
module MapString = Map.Make(String) |
|
121 |
|
|
122 |
type t = string MapString.t |
|
123 |
|
|
124 |
let default_filename = |
|
125 |
Filename.concat |
|
126 |
(Sys.getcwd ()) |
|
127 |
"setup.data" |
|
128 |
|
|
129 |
let load ?(allow_empty=false) ?(filename=default_filename) () = |
|
130 |
if Sys.file_exists filename then |
|
131 |
begin |
|
132 |
let chn = |
|
133 |
open_in_bin filename |
|
134 |
in |
|
135 |
let st = |
|
136 |
Stream.of_channel chn |
|
137 |
in |
|
138 |
let line = |
|
139 |
ref 1 |
|
140 |
in |
|
141 |
let st_line = |
|
142 |
Stream.from |
|
143 |
(fun _ -> |
|
144 |
try |
|
145 |
match Stream.next st with |
|
146 |
| '\n' -> incr line; Some '\n' |
|
147 |
| c -> Some c |
|
148 |
with Stream.Failure -> None) |
|
149 |
in |
|
150 |
let lexer = |
|
151 |
Genlex.make_lexer ["="] st_line |
|
152 |
in |
|
153 |
let rec read_file mp = |
|
154 |
match Stream.npeek 3 lexer with |
|
155 |
| [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> |
|
156 |
Stream.junk lexer; |
|
157 |
Stream.junk lexer; |
|
158 |
Stream.junk lexer; |
|
159 |
read_file (MapString.add nm value mp) |
|
160 |
| [] -> |
|
161 |
mp |
|
162 |
| _ -> |
|
163 |
failwith |
|
164 |
(Printf.sprintf |
|
165 |
"Malformed data file '%s' line %d" |
|
166 |
filename !line) |
|
167 |
in |
|
168 |
let mp = |
|
169 |
read_file MapString.empty |
|
170 |
in |
|
171 |
close_in chn; |
|
172 |
mp |
|
173 |
end |
|
174 |
else if allow_empty then |
|
175 |
begin |
|
176 |
MapString.empty |
|
177 |
end |
|
178 |
else |
|
179 |
begin |
|
180 |
failwith |
|
181 |
(Printf.sprintf |
|
182 |
"Unable to load environment, the file '%s' doesn't exist." |
|
183 |
filename) |
|
184 |
end |
|
185 |
|
|
186 |
let var_get name env = |
|
187 |
let rec var_expand str = |
|
188 |
let buff = |
|
189 |
Buffer.create ((String.length str) * 2) |
|
190 |
in |
|
191 |
Buffer.add_substitute |
|
192 |
buff |
|
193 |
(fun var -> |
|
194 |
try |
|
195 |
var_expand (MapString.find var env) |
|
196 |
with Not_found -> |
|
197 |
failwith |
|
198 |
(Printf.sprintf |
|
199 |
"No variable %s defined when trying to expand %S." |
|
200 |
var |
|
201 |
str)) |
|
202 |
str; |
|
203 |
Buffer.contents buff |
|
204 |
in |
|
205 |
var_expand (MapString.find name env) |
|
206 |
|
|
207 |
let var_choose lst env = |
|
208 |
OASISExpr.choose |
|
209 |
(fun nm -> var_get nm env) |
|
210 |
lst |
|
211 |
end |
|
212 |
|
|
213 |
|
|
214 |
module MyOCamlbuildFindlib = struct |
|
215 |
# 21 "/build/buildd/oasis-0.2.0/src/plugins/ocamlbuild/MyOCamlbuildFindlib.ml" |
|
216 |
|
|
217 |
(** OCamlbuild extension, copied from |
|
218 |
* http://brion.inria.fr/gallium/index.php/Using_ocamlfind_with_ocamlbuild |
|
219 |
* by N. Pouillard and others |
|
220 |
* |
|
221 |
* Updated on 2009/02/28 |
|
222 |
* |
|
223 |
* Modified by Sylvain Le Gall |
|
224 |
*) |
|
225 |
open Ocamlbuild_plugin |
|
226 |
|
|
227 |
(* these functions are not really officially exported *) |
|
228 |
let run_and_read = |
|
229 |
Ocamlbuild_pack.My_unix.run_and_read |
|
230 |
|
|
231 |
let blank_sep_strings = |
|
232 |
Ocamlbuild_pack.Lexers.blank_sep_strings |
|
233 |
|
|
234 |
let split s ch = |
|
235 |
let x = |
|
236 |
ref [] |
|
237 |
in |
|
238 |
let rec go s = |
|
239 |
let pos = |
|
240 |
String.index s ch |
|
241 |
in |
|
242 |
x := (String.before s pos)::!x; |
|
243 |
go (String.after s (pos + 1)) |
|
244 |
in |
|
245 |
try |
|
246 |
go s |
|
247 |
with Not_found -> !x |
|
248 |
|
|
249 |
let split_nl s = split s '\n' |
|
250 |
|
|
251 |
let before_space s = |
|
252 |
try |
|
253 |
String.before s (String.index s ' ') |
|
254 |
with Not_found -> s |
|
255 |
|
|
256 |
(* this lists all supported packages *) |
|
257 |
let find_packages () = |
|
258 |
List.map before_space (split_nl & run_and_read "ocamlfind list") |
|
259 |
|
|
260 |
(* this is supposed to list available syntaxes, but I don't know how to do it. *) |
|
261 |
let find_syntaxes () = ["camlp4o"; "camlp4r"] |
|
262 |
|
|
263 |
(* ocamlfind command *) |
|
264 |
let ocamlfind x = S[A"ocamlfind"; x] |
|
265 |
|
|
266 |
let dispatch = |
|
267 |
function |
|
268 |
| Before_options -> |
|
269 |
(* by using Before_options one let command line options have an higher priority *) |
|
270 |
(* on the contrary using After_options will guarantee to have the higher priority *) |
|
271 |
(* override default commands by ocamlfind ones *) |
|
272 |
Options.ocamlc := ocamlfind & A"ocamlc"; |
|
273 |
Options.ocamlopt := ocamlfind & A"ocamlopt"; |
|
274 |
Options.ocamldep := ocamlfind & A"ocamldep"; |
|
275 |
Options.ocamldoc := ocamlfind & A"ocamldoc"; |
|
276 |
Options.ocamlmktop := ocamlfind & A"ocamlmktop" |
|
277 |
|
|
278 |
| After_rules -> |
|
279 |
|
|
280 |
(* When one link an OCaml library/binary/package, one should use -linkpkg *) |
|
281 |
flag ["ocaml"; "link"; "program"] & A"-linkpkg"; |
|
282 |
|
|
283 |
(* For each ocamlfind package one inject the -package option when |
|
284 |
* compiling, computing dependencies, generating documentation and |
|
285 |
* linking. *) |
|
286 |
List.iter |
|
287 |
begin fun pkg -> |
|
288 |
flag ["ocaml"; "compile"; "pkg_"^pkg] & S[A"-package"; A pkg]; |
|
289 |
flag ["ocaml"; "ocamldep"; "pkg_"^pkg] & S[A"-package"; A pkg]; |
|
290 |
flag ["ocaml"; "doc"; "pkg_"^pkg] & S[A"-package"; A pkg]; |
|
291 |
flag ["ocaml"; "link"; "pkg_"^pkg] & S[A"-package"; A pkg]; |
|
292 |
flag ["ocaml"; "infer_interface"; "pkg_"^pkg] & S[A"-package"; A pkg]; |
|
293 |
end |
|
294 |
(find_packages ()); |
|
295 |
|
|
296 |
(* Like -package but for extensions syntax. Morover -syntax is useless |
|
297 |
* when linking. *) |
|
298 |
List.iter begin fun syntax -> |
|
299 |
flag ["ocaml"; "compile"; "syntax_"^syntax] & S[A"-syntax"; A syntax]; |
|
300 |
flag ["ocaml"; "ocamldep"; "syntax_"^syntax] & S[A"-syntax"; A syntax]; |
|
301 |
flag ["ocaml"; "doc"; "syntax_"^syntax] & S[A"-syntax"; A syntax]; |
|
302 |
flag ["ocaml"; "infer_interface"; "syntax_"^syntax] & S[A"-syntax"; A syntax]; |
|
303 |
end (find_syntaxes ()); |
|
304 |
|
|
305 |
(* The default "thread" tag is not compatible with ocamlfind. |
|
306 |
* Indeed, the default rules add the "threads.cma" or "threads.cmxa" |
|
307 |
* options when using this tag. When using the "-linkpkg" option with |
|
308 |
* ocamlfind, this module will then be added twice on the command line. |
|
309 |
* |
|
310 |
* To solve this, one approach is to add the "-thread" option when using |
|
311 |
* the "threads" package using the previous plugin. |
|
312 |
*) |
|
313 |
flag ["ocaml"; "pkg_threads"; "compile"] (S[A "-thread"]); |
|
314 |
flag ["ocaml"; "pkg_threads"; "link"] (S[A "-thread"]); |
|
315 |
flag ["ocaml"; "pkg_threads"; "infer_interface"] (S[A "-thread"]) |
|
316 |
|
|
317 |
| _ -> |
|
318 |
() |
|
319 |
|
|
320 |
end |
|
321 |
|
|
322 |
module MyOCamlbuildBase = struct |
|
323 |
# 21 "/build/buildd/oasis-0.2.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml" |
|
324 |
|
|
325 |
(** Base functions for writing myocamlbuild.ml |
|
326 |
@author Sylvain Le Gall |
|
327 |
*) |
|
328 |
|
|
329 |
|
|
330 |
|
|
331 |
open Ocamlbuild_plugin |
|
332 |
|
|
333 |
type dir = string |
|
334 |
type file = string |
|
335 |
type name = string |
|
336 |
type tag = string |
|
337 |
|
|
338 |
# 55 "/build/buildd/oasis-0.2.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml" |
|
339 |
|
|
340 |
type t = |
|
341 |
{ |
|
342 |
lib_ocaml: (name * dir list) list; |
|
343 |
lib_c: (name * dir * file list) list; |
|
344 |
flags: (tag list * (spec OASISExpr.choices)) list; |
|
345 |
} |
|
346 |
|
|
347 |
let env_filename = |
|
348 |
Pathname.basename |
|
349 |
BaseEnvLight.default_filename |
|
350 |
|
|
351 |
let dispatch_combine lst = |
|
352 |
fun e -> |
|
353 |
List.iter |
|
354 |
(fun dispatch -> dispatch e) |
|
355 |
lst |
|
356 |
|
|
357 |
let dispatch t e = |
|
358 |
let env = |
|
359 |
BaseEnvLight.load |
|
360 |
~filename:env_filename |
|
361 |
~allow_empty:true |
|
362 |
() |
|
363 |
in |
|
364 |
match e with |
|
365 |
| Before_options -> |
|
366 |
let no_trailing_dot s = |
|
367 |
if String.length s >= 1 && s.[0] = '.' then |
|
368 |
String.sub s 1 ((String.length s) - 1) |
|
369 |
else |
|
370 |
s |
|
371 |
in |
|
372 |
List.iter |
|
373 |
(fun (opt, var) -> |
|
374 |
try |
|
375 |
opt := no_trailing_dot (BaseEnvLight.var_get var env) |
|
376 |
with Not_found -> |
|
377 |
Printf.eprintf "W: Cannot get variable %s" var) |
Also available in: Unified diff