1 This is ../gpr-mode.info, produced by makeinfo version 4.13 from
4 Copyright (C) 2013 Free Software Foundation, Inc.
6 Permission is granted to copy, distribute and/or modify this
7 document under the terms of the GNU Free Documentation License,
8 Version 1.3 or any later version published by the Free Software
9 Foundation; with no Invariant Sections, with the Front-Cover texts
10 being "A GNU Manual", and with the Back-Cover Texts as in (a)
11 below. A copy of the license is included in the section entitled
12 "GNU Free Documentation License".
14 (a) The FSF's Back-Cover Text is: "You have the freedom to copy and
15 modify this GNU manual. Buying copies from the FSF supports it in
16 developing GNU and promoting software freedom."
18 INFO-DIR-SECTION Emacs editing modes
20 * gpr mode: (gpr-mode). Emacs mode for editing and navigating gpr files (gnat project files).
24 File: gpr-mode.info, Node: Top, Next: Overview, Prev: (dir), Up: (dir)
26 Copyright (C) 2013 Free Software Foundation, Inc.
28 Permission is granted to copy, distribute and/or modify this
29 document under the terms of the GNU Free Documentation License,
30 Version 1.3 or any later version published by the Free Software
31 Foundation; with no Invariant Sections, with the Front-Cover texts
32 being "A GNU Manual", and with the Back-Cover Texts as in (a)
33 below. A copy of the license is included in the section entitled
34 "GNU Free Documentation License".
36 (a) The FSF's Back-Cover Text is: "You have the freedom to copy and
37 modify this GNU manual. Buying copies from the FSF supports it in
38 developing GNU and promoting software freedom."
44 * GNU Free Documentation License::
48 File: gpr-mode.info, Node: Overview, Next: Installation, Prev: Top, Up: Top
53 gpr files are the project files used by the GNAT compiler and
54 associated tools. They describe search paths, compiler options, etc.
56 *Note GNAT Project Manager: (gnat_ugn)GNAT Project Manager, for
57 general information on gpr files.
59 The Emacs mode for gpr files helps the user in reading existing code
60 and facilitates writing new code.
62 When you open a file with a file extension of `.gpr', Emacs will
63 automatically load and activate gpr mode.
66 File: gpr-mode.info, Node: Installation, Prev: Overview, Up: Top
71 gpr mode is part of the standard Emacs distribution; if you use that,
72 no files need to be installed.
74 gpr mode is also available as a separate distribution (bundled with
75 Ada mode), from the Emacs Ada mode website
76 `http://stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html'. The
77 separate distribution may be more recent.
79 For installing the separate distribution, see the `README' file in
82 gpr mode does not have a separate version; it uses the Ada mode
83 version number. To see what version of Ada mode you have installed, do
84 `M-x ada-mode-version'.
87 File: gpr-mode.info, Node: GNU Free Documentation License, Next: Index, Up: Top
89 Appendix A GNU Free Documentation License
90 *****************************************
92 Version 1.3, 3 November 2008
94 Copyright (C) 2000, 2001, 2002, 2007, 2008, 2009 Free Software Foundation, Inc.
97 Everyone is permitted to copy and distribute verbatim copies
98 of this license document, but changing it is not allowed.
102 The purpose of this License is to make a manual, textbook, or other
103 functional and useful document "free" in the sense of freedom: to
104 assure everyone the effective freedom to copy and redistribute it,
105 with or without modifying it, either commercially or
106 noncommercially. Secondarily, this License preserves for the
107 author and publisher a way to get credit for their work, while not
108 being considered responsible for modifications made by others.
110 This License is a kind of "copyleft", which means that derivative
111 works of the document must themselves be free in the same sense.
112 It complements the GNU General Public License, which is a copyleft
113 license designed for free software.
115 We have designed this License in order to use it for manuals for
116 free software, because free software needs free documentation: a
117 free program should come with manuals providing the same freedoms
118 that the software does. But this License is not limited to
119 software manuals; it can be used for any textual work, regardless
120 of subject matter or whether it is published as a printed book.
121 We recommend this License principally for works whose purpose is
122 instruction or reference.
124 1. APPLICABILITY AND DEFINITIONS
126 This License applies to any manual or other work, in any medium,
127 that contains a notice placed by the copyright holder saying it
128 can be distributed under the terms of this License. Such a notice
129 grants a world-wide, royalty-free license, unlimited in duration,
130 to use that work under the conditions stated herein. The
131 "Document", below, refers to any such manual or work. Any member
132 of the public is a licensee, and is addressed as "you". You
133 accept the license if you copy, modify or distribute the work in a
134 way requiring permission under copyright law.
136 A "Modified Version" of the Document means any work containing the
137 Document or a portion of it, either copied verbatim, or with
138 modifications and/or translated into another language.
140 A "Secondary Section" is a named appendix or a front-matter section
141 of the Document that deals exclusively with the relationship of the
142 publishers or authors of the Document to the Document's overall
143 subject (or to related matters) and contains nothing that could
144 fall directly within that overall subject. (Thus, if the Document
145 is in part a textbook of mathematics, a Secondary Section may not
146 explain any mathematics.) The relationship could be a matter of
147 historical connection with the subject or with related matters, or
148 of legal, commercial, philosophical, ethical or political position
151 The "Invariant Sections" are certain Secondary Sections whose
152 titles are designated, as being those of Invariant Sections, in
153 the notice that says that the Document is released under this
154 License. If a section does not fit the above definition of
155 Secondary then it is not allowed to be designated as Invariant.
156 The Document may contain zero Invariant Sections. If the Document
157 does not identify any Invariant Sections then there are none.
159 The "Cover Texts" are certain short passages of text that are
160 listed, as Front-Cover Texts or Back-Cover Texts, in the notice
161 that says that the Document is released under this License. A
162 Front-Cover Text may be at most 5 words, and a Back-Cover Text may
165 A "Transparent" copy of the Document means a machine-readable copy,
166 represented in a format whose specification is available to the
167 general public, that is suitable for revising the document
168 straightforwardly with generic text editors or (for images
169 composed of pixels) generic paint programs or (for drawings) some
170 widely available drawing editor, and that is suitable for input to
171 text formatters or for automatic translation to a variety of
172 formats suitable for input to text formatters. A copy made in an
173 otherwise Transparent file format whose markup, or absence of
174 markup, has been arranged to thwart or discourage subsequent
175 modification by readers is not Transparent. An image format is
176 not Transparent if used for any substantial amount of text. A
177 copy that is not "Transparent" is called "Opaque".
179 Examples of suitable formats for Transparent copies include plain
180 ASCII without markup, Texinfo input format, LaTeX input format,
181 SGML or XML using a publicly available DTD, and
182 standard-conforming simple HTML, PostScript or PDF designed for
183 human modification. Examples of transparent image formats include
184 PNG, XCF and JPG. Opaque formats include proprietary formats that
185 can be read and edited only by proprietary word processors, SGML or
186 XML for which the DTD and/or processing tools are not generally
187 available, and the machine-generated HTML, PostScript or PDF
188 produced by some word processors for output purposes only.
190 The "Title Page" means, for a printed book, the title page itself,
191 plus such following pages as are needed to hold, legibly, the
192 material this License requires to appear in the title page. For
193 works in formats which do not have any title page as such, "Title
194 Page" means the text near the most prominent appearance of the
195 work's title, preceding the beginning of the body of the text.
197 The "publisher" means any person or entity that distributes copies
198 of the Document to the public.
200 A section "Entitled XYZ" means a named subunit of the Document
201 whose title either is precisely XYZ or contains XYZ in parentheses
202 following text that translates XYZ in another language. (Here XYZ
203 stands for a specific section name mentioned below, such as
204 "Acknowledgements", "Dedications", "Endorsements", or "History".)
205 To "Preserve the Title" of such a section when you modify the
206 Document means that it remains a section "Entitled XYZ" according
209 The Document may include Warranty Disclaimers next to the notice
210 which states that this License applies to the Document. These
211 Warranty Disclaimers are considered to be included by reference in
212 this License, but only as regards disclaiming warranties: any other
213 implication that these Warranty Disclaimers may have is void and
214 has no effect on the meaning of this License.
218 You may copy and distribute the Document in any medium, either
219 commercially or noncommercially, provided that this License, the
220 copyright notices, and the license notice saying this License
221 applies to the Document are reproduced in all copies, and that you
222 add no other conditions whatsoever to those of this License. You
223 may not use technical measures to obstruct or control the reading
224 or further copying of the copies you make or distribute. However,
225 you may accept compensation in exchange for copies. If you
226 distribute a large enough number of copies you must also follow
227 the conditions in section 3.
229 You may also lend copies, under the same conditions stated above,
230 and you may publicly display copies.
232 3. COPYING IN QUANTITY
234 If you publish printed copies (or copies in media that commonly
235 have printed covers) of the Document, numbering more than 100, and
236 the Document's license notice requires Cover Texts, you must
237 enclose the copies in covers that carry, clearly and legibly, all
238 these Cover Texts: Front-Cover Texts on the front cover, and
239 Back-Cover Texts on the back cover. Both covers must also clearly
240 and legibly identify you as the publisher of these copies. The
241 front cover must present the full title with all words of the
242 title equally prominent and visible. You may add other material
243 on the covers in addition. Copying with changes limited to the
244 covers, as long as they preserve the title of the Document and
245 satisfy these conditions, can be treated as verbatim copying in
248 If the required texts for either cover are too voluminous to fit
249 legibly, you should put the first ones listed (as many as fit
250 reasonably) on the actual cover, and continue the rest onto
253 If you publish or distribute Opaque copies of the Document
254 numbering more than 100, you must either include a
255 machine-readable Transparent copy along with each Opaque copy, or
256 state in or with each Opaque copy a computer-network location from
257 which the general network-using public has access to download
258 using public-standard network protocols a complete Transparent
259 copy of the Document, free of added material. If you use the
260 latter option, you must take reasonably prudent steps, when you
261 begin distribution of Opaque copies in quantity, to ensure that
262 this Transparent copy will remain thus accessible at the stated
263 location until at least one year after the last time you
264 distribute an Opaque copy (directly or through your agents or
265 retailers) of that edition to the public.
267 It is requested, but not required, that you contact the authors of
268 the Document well before redistributing any large number of
269 copies, to give them a chance to provide you with an updated
270 version of the Document.
274 You may copy and distribute a Modified Version of the Document
275 under the conditions of sections 2 and 3 above, provided that you
276 release the Modified Version under precisely this License, with
277 the Modified Version filling the role of the Document, thus
278 licensing distribution and modification of the Modified Version to
279 whoever possesses a copy of it. In addition, you must do these
280 things in the Modified Version:
282 A. Use in the Title Page (and on the covers, if any) a title
283 distinct from that of the Document, and from those of
284 previous versions (which should, if there were any, be listed
285 in the History section of the Document). You may use the
286 same title as a previous version if the original publisher of
287 that version gives permission.
289 B. List on the Title Page, as authors, one or more persons or
290 entities responsible for authorship of the modifications in
291 the Modified Version, together with at least five of the
292 principal authors of the Document (all of its principal
293 authors, if it has fewer than five), unless they release you
294 from this requirement.
296 C. State on the Title page the name of the publisher of the
297 Modified Version, as the publisher.
299 D. Preserve all the copyright notices of the Document.
301 E. Add an appropriate copyright notice for your modifications
302 adjacent to the other copyright notices.
304 F. Include, immediately after the copyright notices, a license
305 notice giving the public permission to use the Modified
306 Version under the terms of this License, in the form shown in
309 G. Preserve in that license notice the full lists of Invariant
310 Sections and required Cover Texts given in the Document's
313 H. Include an unaltered copy of this License.
315 I. Preserve the section Entitled "History", Preserve its Title,
316 and add to it an item stating at least the title, year, new
317 authors, and publisher of the Modified Version as given on
318 the Title Page. If there is no section Entitled "History" in
319 the Document, create one stating the title, year, authors,
320 and publisher of the Document as given on its Title Page,
321 then add an item describing the Modified Version as stated in
322 the previous sentence.
324 J. Preserve the network location, if any, given in the Document
325 for public access to a Transparent copy of the Document, and
326 likewise the network locations given in the Document for
327 previous versions it was based on. These may be placed in
328 the "History" section. You may omit a network location for a
329 work that was published at least four years before the
330 Document itself, or if the original publisher of the version
331 it refers to gives permission.
333 K. For any section Entitled "Acknowledgements" or "Dedications",
334 Preserve the Title of the section, and preserve in the
335 section all the substance and tone of each of the contributor
336 acknowledgements and/or dedications given therein.
338 L. Preserve all the Invariant Sections of the Document,
339 unaltered in their text and in their titles. Section numbers
340 or the equivalent are not considered part of the section
343 M. Delete any section Entitled "Endorsements". Such a section
344 may not be included in the Modified Version.
346 N. Do not retitle any existing section to be Entitled
347 "Endorsements" or to conflict in title with any Invariant
350 O. Preserve any Warranty Disclaimers.
352 If the Modified Version includes new front-matter sections or
353 appendices that qualify as Secondary Sections and contain no
354 material copied from the Document, you may at your option
355 designate some or all of these sections as invariant. To do this,
356 add their titles to the list of Invariant Sections in the Modified
357 Version's license notice. These titles must be distinct from any
358 other section titles.
360 You may add a section Entitled "Endorsements", provided it contains
361 nothing but endorsements of your Modified Version by various
362 parties--for example, statements of peer review or that the text
363 has been approved by an organization as the authoritative
364 definition of a standard.
366 You may add a passage of up to five words as a Front-Cover Text,
367 and a passage of up to 25 words as a Back-Cover Text, to the end
368 of the list of Cover Texts in the Modified Version. Only one
369 passage of Front-Cover Text and one of Back-Cover Text may be
370 added by (or through arrangements made by) any one entity. If the
371 Document already includes a cover text for the same cover,
372 previously added by you or by arrangement made by the same entity
373 you are acting on behalf of, you may not add another; but you may
374 replace the old one, on explicit permission from the previous
375 publisher that added the old one.
377 The author(s) and publisher(s) of the Document do not by this
378 License give permission to use their names for publicity for or to
379 assert or imply endorsement of any Modified Version.
381 5. COMBINING DOCUMENTS
383 You may combine the Document with other documents released under
384 this License, under the terms defined in section 4 above for
385 modified versions, provided that you include in the combination
386 all of the Invariant Sections of all of the original documents,
387 unmodified, and list them all as Invariant Sections of your
388 combined work in its license notice, and that you preserve all
389 their Warranty Disclaimers.
391 The combined work need only contain one copy of this License, and
392 multiple identical Invariant Sections may be replaced with a single
393 copy. If there are multiple Invariant Sections with the same name
394 but different contents, make the title of each such section unique
395 by adding at the end of it, in parentheses, the name of the
396 original author or publisher of that section if known, or else a
397 unique number. Make the same adjustment to the section titles in
398 the list of Invariant Sections in the license notice of the
401 In the combination, you must combine any sections Entitled
402 "History" in the various original documents, forming one section
403 Entitled "History"; likewise combine any sections Entitled
404 "Acknowledgements", and any sections Entitled "Dedications". You
405 must delete all sections Entitled "Endorsements."
407 6. COLLECTIONS OF DOCUMENTS
409 You may make a collection consisting of the Document and other
410 documents released under this License, and replace the individual
411 copies of this License in the various documents with a single copy
412 that is included in the collection, provided that you follow the
413 rules of this License for verbatim copying of each of the
414 documents in all other respects.
416 You may extract a single document from such a collection, and
417 distribute it individually under this License, provided you insert
418 a copy of this License into the extracted document, and follow
419 this License in all other respects regarding verbatim copying of
422 7. AGGREGATION WITH INDEPENDENT WORKS
424 A compilation of the Document or its derivatives with other
425 separate and independent documents or works, in or on a volume of
426 a storage or distribution medium, is called an "aggregate" if the
427 copyright resulting from the compilation is not used to limit the
428 legal rights of the compilation's users beyond what the individual
429 works permit. When the Document is included in an aggregate, this
430 License does not apply to the other works in the aggregate which
431 are not themselves derivative works of the Document.
433 If the Cover Text requirement of section 3 is applicable to these
434 copies of the Document, then if the Document is less than one half
435 of the entire aggregate, the Document's Cover Texts may be placed
436 on covers that bracket the Document within the aggregate, or the
437 electronic equivalent of covers if the Document is in electronic
438 form. Otherwise they must appear on printed covers that bracket
443 Translation is considered a kind of modification, so you may
444 distribute translations of the Document under the terms of section
445 4. Replacing Invariant Sections with translations requires special
446 permission from their copyright holders, but you may include
447 translations of some or all Invariant Sections in addition to the
448 original versions of these Invariant Sections. You may include a
449 translation of this License, and all the license notices in the
450 Document, and any Warranty Disclaimers, provided that you also
451 include the original English version of this License and the
452 original versions of those notices and disclaimers. In case of a
453 disagreement between the translation and the original version of
454 this License or a notice or disclaimer, the original version will
457 If a section in the Document is Entitled "Acknowledgements",
458 "Dedications", or "History", the requirement (section 4) to
459 Preserve its Title (section 1) will typically require changing the
464 You may not copy, modify, sublicense, or distribute the Document
465 except as expressly provided under this License. Any attempt
466 otherwise to copy, modify, sublicense, or distribute it is void,
467 and will automatically terminate your rights under this License.
469 However, if you cease all violation of this License, then your
470 license from a particular copyright holder is reinstated (a)
471 provisionally, unless and until the copyright holder explicitly
472 and finally terminates your license, and (b) permanently, if the
473 copyright holder fails to notify you of the violation by some
474 reasonable means prior to 60 days after the cessation.
476 Moreover, your license from a particular copyright holder is
477 reinstated permanently if the copyright holder notifies you of the
478 violation by some reasonable means, this is the first time you have
479 received notice of violation of this License (for any work) from
480 that copyright holder, and you cure the violation prior to 30 days
481 after your receipt of the notice.
483 Termination of your rights under this section does not terminate
484 the licenses of parties who have received copies or rights from
485 you under this License. If your rights have been terminated and
486 not permanently reinstated, receipt of a copy of some or all of
487 the same material does not give you any rights to use it.
489 10. FUTURE REVISIONS OF THIS LICENSE
491 The Free Software Foundation may publish new, revised versions of
492 the GNU Free Documentation License from time to time. Such new
493 versions will be similar in spirit to the present version, but may
494 differ in detail to address new problems or concerns. See
495 `http://www.gnu.org/copyleft/'.
497 Each version of the License is given a distinguishing version
498 number. If the Document specifies that a particular numbered
499 version of this License "or any later version" applies to it, you
500 have the option of following the terms and conditions either of
501 that specified version or of any later version that has been
502 published (not as a draft) by the Free Software Foundation. If
503 the Document does not specify a version number of this License,
504 you may choose any version ever published (not as a draft) by the
505 Free Software Foundation. If the Document specifies that a proxy
506 can decide which future versions of this License can be used, that
507 proxy's public statement of acceptance of a version permanently
508 authorizes you to choose that version for the Document.
512 "Massive Multiauthor Collaboration Site" (or "MMC Site") means any
513 World Wide Web server that publishes copyrightable works and also
514 provides prominent facilities for anybody to edit those works. A
515 public wiki that anybody can edit is an example of such a server.
516 A "Massive Multiauthor Collaboration" (or "MMC") contained in the
517 site means any set of copyrightable works thus published on the MMC
520 "CC-BY-SA" means the Creative Commons Attribution-Share Alike 3.0
521 license published by Creative Commons Corporation, a not-for-profit
522 corporation with a principal place of business in San Francisco,
523 California, as well as future copyleft versions of that license
524 published by that same organization.
526 "Incorporate" means to publish or republish a Document, in whole or
527 in part, as part of another Document.
529 An MMC is "eligible for relicensing" if it is licensed under this
530 License, and if all works that were first published under this
531 License somewhere other than this MMC, and subsequently
532 incorporated in whole or in part into the MMC, (1) had no cover
533 texts or invariant sections, and (2) were thus incorporated prior
536 The operator of an MMC Site may republish an MMC contained in the
537 site under CC-BY-SA on the same site at any time before August 1,
538 2009, provided the MMC is eligible for relicensing.
541 ADDENDUM: How to use this License for your documents
542 ====================================================
544 To use this License in a document you have written, include a copy of
545 the License in the document and put the following copyright and license
546 notices just after the title page:
548 Copyright (C) YEAR YOUR NAME.
549 Permission is granted to copy, distribute and/or modify this document
550 under the terms of the GNU Free Documentation License, Version 1.3
551 or any later version published by the Free Software Foundation;
552 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
553 Texts. A copy of the license is included in the section entitled ``GNU
554 Free Documentation License''.
556 If you have Invariant Sections, Front-Cover Texts and Back-Cover
557 Texts, replace the "with...Texts." line with this:
559 with the Invariant Sections being LIST THEIR TITLES, with
560 the Front-Cover Texts being LIST, and with the Back-Cover Texts
563 If you have Invariant Sections without Cover Texts, or some other
564 combination of the three, merge those two alternatives to suit the
567 If your document contains nontrivial examples of program code, we
568 recommend releasing these examples in parallel under your choice of
569 free software license, such as the GNU General Public License, to
570 permit their use in free software.
573 File: gpr-mode.info, Node: Index, Prev: GNU Free Documentation License, Up: Top