Add gdb-stabs.h to list of files to keep.
[deliverable/binutils-gdb.git] / standards.texi
1 \input texinfo @c -*-texinfo-*-
2 @c %**start of header
3 @setfilename standards.text
4 @settitle GNU Coding Standards
5 @c %**end of header
6
7 @setchapternewpage off
8
9 @ifinfo
10 Copyright (C) 1992 Free Software Foundation
11 Permission is granted to make and distribute verbatim copies of
12 this manual provided the copyright notice and this permission notice
13 are preserved on all copies.
14
15 @ignore
16 Permission is granted to process this file through TeX and print the
17 results, provided the printed document carries copying permission
18 notice identical to this one except for the removal of this paragraph
19 (this paragraph not being relevant to the printed manual).
20 @end ignore
21
22 Permission is granted to copy and distribute modified versions of this
23 manual under the conditions for verbatim copying, provided that the entire
24 resulting derived work is distributed under the terms of a permission
25 notice identical to this one.
26
27 Permission is granted to copy and distribute translations of this manual
28 into another language, under the above conditions for modified versions,
29 except that this permission notice may be stated in a translation approved
30 by the Free Software Foundation.
31 @end ifinfo
32
33 @titlepage
34 @sp 10
35 @titlefont{GNU Coding Standards}
36 @author{Richard Stallman}
37 @author{last updated 16 May 1992}
38 @c Note date also appears below.
39 @page
40
41 @vskip 0pt plus 1filll
42 Copyright @copyright{} 1992 Free Software Foundation
43
44 Permission is granted to make and distribute verbatim copies of
45 this manual provided the copyright notice and this permission notice
46 are preserved on all copies.
47
48 Permission is granted to copy and distribute modified versions of this
49 manual under the conditions for verbatim copying, provided that the entire
50 resulting derived work is distributed under the terms of a permission
51 notice identical to this one.
52
53 Permission is granted to copy and distribute translations of this manual
54 into another language, under the above conditions for modified versions,
55 except that this permission notice may be stated in a translation approved
56 by Free Software Foundation.
57 @end titlepage
58
59 @ifinfo
60 @format
61 START-INFO-DIR-ENTRY
62 * standards: (standards.info). GNU Project Coding Standards
63 END-INFO-DIR-ENTRY
64 @end format
65
66 @node Top, Reading Non-Free Code, (dir), (dir)
67 @top Version
68
69 Last updated 16 May 1992.
70 @c Note date also appears above.
71 @end ifinfo
72
73 @menu
74 * Reading Non-Free Code:: Referring to Proprietary Programs
75 * Contributions:: Accepting Contributions
76 * Change Logs:: Recording Changes
77 * Compatibility:: Compatibility with Other Implementations
78 * Makefiles:: Makefile Conventions
79 * Configuration:: How Configuration Should Work
80 * Source Language:: Using Languages Other Than C
81 * Formatting:: Formatting Your Source Code
82 * Comments:: Commenting Your Work
83 * Syntactic Conventions:: Clean Use of C Constructs
84 * Names:: Naming Variables and Functions
85 * Using Extensions:: Using Non-standard Features
86 * Semantics:: Program Behaviour for All Programs
87 * Errors:: Formatting Error Messages
88 * Libraries:: Library Behaviour
89 * Portability:: Portability As It Applies to GNU
90 * User Interfaces:: Standards for Command Line Interfaces
91 * Documentation:: Documenting Programs
92 * Releases:: Making Releases
93 @end menu
94
95 @node Reading Non-Free Code
96 @chapter Referring to Proprietary Programs
97
98 Don't in any circumstances refer to Unix source code for or during
99 your work on GNU! (Or to any other proprietary programs.)
100
101 If you have a vague recollection of the internals of a Unix program,
102 this does not absolutely mean you can't write an imitation of it, but
103 do try to organize the imitation internally along different lines,
104 because this is likely to make the details of the Unix version
105 irrelevant and dissimilar to your results.
106
107 For example, Unix utilities were generally optimized to minimize
108 memory use; if you go for speed instead, your program will be very
109 different. You could keep the entire input file in core and scan it
110 there instead of using stdio. Use a smarter algorithm discovered more
111 recently than the Unix program. Eliminate use of temporary files. Do
112 it in one pass instead of two (we did this in the assembler).
113
114 Or, on the contrary, emphasize simplicity instead of speed. For some
115 applications, the speed of today's computers makes simpler algorithms
116 adequate.
117
118 Or go for generality. For example, Unix programs often have static
119 tables or fixed-size strings, which make for arbitrary limits; use
120 dynamic allocation instead. Make sure your program handles NULs and
121 other funny characters in the input files. Add a programming language
122 for extensibility and write part of the program in that language.
123
124 Or turn some parts of the program into independently usable libraries.
125 Or use a simple garbage collector instead of tracking precisely when
126 to free memory, or use a new GNU facility such as obstacks.
127
128
129 @node Contributions
130 @chapter Accepting Contributions
131
132 If someone else sends you a piece of code to add to the program you are
133 working on, we need legal papers to use it---the same sort of legal
134 papers we will need to get from you. @emph{Each} significant
135 contributor to a program must sign some sort of legal papers in order
136 for us to have clear title to the program. The main author alone is not
137 enough.
138
139 So, before adding in any contributions from other people, tell us
140 so we can arrange to get the papers. Then wait until we tell you
141 that we have received the signed papers, before you actually use the
142 contribution.
143
144 This applies both before you release the program and afterward. If
145 you receive diffs to fix a bug, and they make significant change, we
146 need legal papers for it.
147
148 You don't need papers for changes of a few lines here or there, since
149 they are not significant for copyright purposes. Also, you don't need
150 papers if all you get from the suggestion is some ideas, not actual code
151 which you use. For example, if you write a different solution to the
152 problem, you don't need to get papers.
153
154 I know this is frustrating; it's frustrating for us as well. But if
155 you don't wait, you are going out on a limb---for example, what if the
156 contributor's employer won't sign a disclaimer? You might have to take
157 that code out again!
158
159 The very worst thing is if you forget to tell us about the other
160 contributor. We could be very embarrassed in court some day as a
161 result.
162
163 @node Change Logs
164 @chapter Change Logs
165
166 Keep a change log for each directory, describing the changes made to
167 source files in that directory. The purpose of this is so that people
168 investigating bugs in the future will know about the changes that
169 might have introduced the bug. Often a new bug can be found by
170 looking at what was recently changed. More importantly, change logs
171 can help eliminate conceptual inconsistencies between different parts
172 of a program; they can give you a history of how the conflicting
173 concepts arose.
174
175 Use the Emacs command @kbd{M-x add-change} to start a new entry in the
176 change log. An entry should have an asterisk, the name of the changed
177 file, and then in parentheses the name of the changed functions,
178 variables or whatever, followed by a colon. Then describe the changes
179 you made to that function or variable.
180
181 Separate unrelated entries with blank lines. When two entries
182 represent parts of the same change, so that they work together, then
183 don't put blank lines between them. Then you can omit the file name
184 and the asterisk when successive entries are in the same file.
185
186 Here are some examples:
187
188 @example
189 * register.el (insert-register): Return nil.
190 (jump-to-register): Likewise.
191
192 * sort.el (sort-subr): Return nil.
193
194 * tex-mode.el (tex-bibtex-file, tex-file, tex-region):
195 Restart the tex shell if process is gone or stopped.
196 (tex-shell-running): New function.
197
198 * expr.c (store_one_arg): Round size up for move_block_to_reg.
199 (expand_call): Round up when emitting USE insns.
200 * stmt.c (assign_parms): Round size up for move_block_from_reg.
201 @end example
202
203 There's no need to describe here the full purpose of the changes or how
204 they work together. It is better to put this explanation in comments in
205 the code. That's why just ``New function'' is enough; there is a
206 comment with the function in the source to explain what it does.
207
208 However, sometimes it is useful to write one line to describe the
209 overall purpose of a large batch of changes.
210
211 When you change the calling sequence of a function in a simple
212 fashion, and you change all the callers of the function, there is no
213 need to make individual entries for all the callers. Just write in
214 the entry for the function being called, ``All callers changed.''
215
216 When you change just comments or doc strings, it is enough to write an
217 entry for the file, without mentioning the functions. Write just,
218 ``Doc fix.'' There's no need to keep a change log for documentation
219 files. This is because documentation is not susceptible to bugs that
220 are hard to fix. Documentation does not consist of parts that must
221 interact in a precisely engineered fashion; to correct an error, you
222 need not know the history of the erroneous passage.
223
224
225 @node Compatibility
226 @chapter Compatibility with Other Implementations
227
228 With certain exceptions, utility programs and libraries for GNU should
229 be upward compatible with those in Berkeley Unix, and upward compatible
230 with @sc{ANSI} C if @sc{ANSI} C specifies their behavior, and upward
231 compatible with @sc{POSIX} if @sc{POSIX} specifies their behavior.
232
233 When these standards conflict, it is useful to offer compatibility
234 modes for each of them.
235
236 @sc{ANSI} C and @sc{POSIX} prohibit many kinds of extensions. Feel
237 free to make the extensions anyway, and include a @samp{--ansi} or
238 @samp{--compatible} option to turn them off. However, if the extension
239 has a significant chance of breaking any real programs or scripts,
240 then it is not really upward compatible. Try to redesign its
241 interface.
242
243 When a feature is used only by users (not by programs or command
244 files), and it is done poorly in Unix, feel free to replace it
245 completely with something totally different and better. (For example,
246 vi is replaced with Emacs.) But it is nice to offer a compatible
247 feature as well. (There is a free vi clone, so we offer it.)
248
249 Additional useful features not in Berkeley Unix are welcome.
250 Additional programs with no counterpart in Unix may be useful,
251 but our first priority is usually to duplicate what Unix already
252 has.
253
254
255 @node Makefiles
256 @chapter Makefile Conventions
257
258 This chapter describes conventions for writing Makefiles.
259
260 @menu
261 * Makefile Basics::
262 * Standard Targets::
263 * Command Variables::
264 * Directory Variables::
265 @end menu
266
267 @node Makefile Basics
268 @section General Conventions for Makefiles
269
270 Every Makefile should contain this line:
271
272 @example
273 SHELL = /bin/sh
274 @end example
275
276 @noindent
277 to avoid trouble on systems where the @code{SHELL} variable might be
278 inherited from the environment.
279
280 Don't assume that @file{.} is in the path for command execution. When
281 you need to run programs that are a part of your package during the
282 make, please make sure that it uses @file{./} if the program is built as
283 part of the make or @file{$(srcdir)/} if the file is an unchanging part
284 of the source code. Without one of these prefixes, the current search
285 path is used.
286
287 The distinction between @file{./} and @file{$(srcdir)/} is important
288 when using the @samp{--srcdir} option to @file{configure}. A rule of
289 the form:
290
291 @example
292 foo.1 : foo.man sedscript
293 sed -e sedscript foo.man > foo.1
294 @end example
295
296 @noindent
297 will fail when the current directory is not the source directory,
298 because @file{foo.man} and @file{sedscript} are not in the current
299 directory.
300
301 Relying on @samp{VPATH} to find the source file will work in the case
302 where there is a single dependency file, since the @file{make} automatic
303 variable @samp{$<} will represent the source file wherever it is. A
304 makefile target like
305
306 @example
307 foo.o : bar.c
308 $(CC) $(CFLAGS) -I. -I$(srcdir) -c bar.c -o foo.o
309 @end example
310
311 @noindent
312 should instead be written as
313
314 @example
315 foo.o : bar.c
316 $(CC) $(CFLAGS) $< -o $@
317 @end example
318 @noindent
319 in order to allow @samp{VPATH} to work correctly. When the target has
320 multiple dependencies, using an explicit @samp{$(srcdir)} is the easiest
321 way to make the rule work well. For example, the target above for
322 @file{foo.1} is best written as:
323
324 @example
325 foo.1 : foo.man sedscript
326 sed -s $(srcdir)/sedscript $(srcdir)/foo.man > foo.1
327 @end example
328
329
330
331 @node Standard Targets
332 @section Standard Targets for Users
333
334 All GNU programs should have the following targets in their Makefiles:
335
336 @table @samp
337 @item all
338 Compile the entire program.
339
340 @item install
341 Compile the program and copy the executables, libraries, and so on to
342 the file names where they should reside for actual use. If there is a
343 simple test to verify that a program is properly installed then run that
344 test.
345
346 Use @samp{-} before any command for installing a man page, so that
347 @code{make} will ignore any errors. This is in case there are systems
348 that don't have the Unix man page documentation system installed.
349
350 @item clean
351 Delete all files from the current directory that are normally created by
352 building the program. Don't delete the files that record the
353 configuration. Also preserve files that could be made by building, but
354 normally aren't because the distribution comes with them.
355
356 Delete @file{.dvi} files here if they are not part of the distribution.
357
358 @item distclean
359 Delete all files from the current directory that are created by
360 configuring or building the program. If you have unpacked the source
361 and built the program without creating any other files, @samp{make
362 distclean} should leave only the files that were in the distribution.
363
364 @item mostlyclean
365 Like @samp{clean}, but may refrain from deleting a few files that people
366 normally don't want to recompile. For example, the @samp{mostlyclean}
367 target for GCC does not delete @file{libgcc.a}, because recompiling it
368 is rarely necessary and takes a lot of time.
369
370 @item realclean
371 Delete everything from the current directory that can be reconstructed
372 with this Makefile. This typically includes everything deleted by
373 distclean, plus more: C source files produced by Bison, tags tables,
374 info files, and so on.
375
376 @item TAGS
377 Update a tags table for this program.
378
379 @item dist
380 Create a distribution tar file for this program. The tar file should be
381 set up so that the file names in the tar file start with a subdirectory
382 name which is the name of the package it is a distribution for. This
383 name can include the version number.
384
385 For example, the distribution tar file of GCC version 1.40 unpacks into
386 a subdirectory named @file{gcc-1.40}.
387
388 The easiest way to do this is to create a subdirectory appropriately
389 named, use @code{ln} or @code{cp} to install the proper files in it, and
390 then @code{tar} that subdirectory.
391
392 The @code{dist} target should explicitly depend on all non-source files
393 that are in the distribution, to make sure they are up to date in the
394 distribution. @xref{Releases}.
395
396 @item check
397 Perform self-tests (if any). The user must build the program before
398 running the tests, but need not install the program; you should write
399 the self-tests so that they work when the program is built but not
400 installed.
401 @end table
402
403 @node Command Variables
404 @section Variables for Specifying Commands
405
406 Makefiles should provide variables for overriding certain commands, options,
407 and so on.
408
409 In particular, you should run most utility programs via variables.
410 Thus, if you use Bison, have a variable named @code{BISON} whose default
411 value is set with @samp{BISON = bison}, and refer to it with
412 @code{$(BISON)} whenever you need to use Bison.
413
414 Each program-name variable should come with an options variable that is
415 used to supply options to the program. Append @samp{FLAGS} to the
416 program-name variable name to get the options variable name---for
417 example, @code{BISONFLAGS}. (The name @code{CFLAGS} is an exception to
418 this rule, but we keep it because it is standard.)
419
420 File-management utilities such as @code{ln}, @code{rm}, @code{mv}, and
421 so on need not be referred to through variables in this way, since users
422 don't need to replace them with other programs.
423
424 Every Makefile should define the variable @code{INSTALL}, which is the
425 basic command for installing a file into the system.
426
427 Every Makefile should also define variables @code{INSTALL_PROGRAM} and
428 @code{INSTALL_DATA}. (The default for each of these should be
429 @code{$(INSTALL)}.) Then it should use those variables as the commands
430 for actual installation, for executables and nonexecutables
431 respectively. Use these variables as follows:
432
433 @example
434 $(INSTALL_PROGRAM) foo $@{bindir@}/foo
435 $(INSTALL_DATA) libfoo.a $@{libdir@}/libfoo.a
436 @end example
437
438 @noindent
439 (Always use a file name, not a directory name, as the second argument.
440 Use a separate command for each file to be installed.)
441
442 @node Directory Variables
443 @section Variables for Installation Directories
444
445 Installation directories should always be named by variables, so it is
446 easy to install in a nonstandard place. The standard names for these
447 variables are:
448
449 @table @samp
450 @item prefix
451 A prefix used in constructing the default values of the variables listed
452 below. The default value of @code{prefix} should be @file{/usr/local}
453 (at least for now).
454
455 @item exec_prefix
456 A prefix used in constructing the default values of the some of the
457 variables listed below. The default value of @code{exec_prefix} should
458 be @code{$(prefix)}.
459
460 Generally, @code{$(exec_prefix)} is used for directories that contain
461 machine-specific files (such as executables and subroutine libraries),
462 while @code{$(prefix)} is used directly for other directories.
463
464 @item bindir
465 The directory for installing executable programs that users can run.
466 This should normally be @file{/usr/local/bin}, but it should be written
467 as @file{$(exec_prefix)/bin}.
468
469 @item libdir
470 The directory for installing executable files to be run by the program
471 rather than by users. Object files and libraries of object code should
472 also go in this directory. The idea is that this directory is used for
473 files that pertain to a specific machine architecture, but need not be
474 in the path for commands. The value of @code{libdir} should normally be
475 @file{/usr/local/lib}, but it should be written as
476 @file{$(exec_prefix)/lib}.
477
478 @item datadir
479 The directory for installing read-only data files which the programs
480 refer to while they run. This directory is used for files which are
481 independent of the type of machine being used. This should normally be
482 @file{/usr/local/lib}, but it should be written as
483 @file{$(prefix)/lib}.
484
485 @item statedir
486 The directory for installing data files which the programs modify while
487 they run. These files should be independent of the type of machine
488 being used, and it should be possible to share them among machines at a
489 network installation. This should normally be @file{/usr/local/lib},
490 but it should be written as @file{$(prefix)/lib}.
491
492 @item includedir
493 The directory for installing @samp{#include} header files to be included
494 by user programs. This should normally be @file{/usr/local/include},
495 but it should be written as @file{$(prefix)/include}.
496
497 Most compilers other than GCC do not look for header files in
498 @file{/usr/local/include}. So installing the header files this way is
499 only useful with GCC. Sometimes this is not a problem because some
500 libraries are only really intended to work with GCC. But some libraries
501 are intended to work with other compilers. They should install their
502 header files in two places, one specified by includedir and one
503 specified by oldincludedir
504
505 @item oldincludedir
506 The directory for installing @samp{#include} header files for use with
507 compilers other than GCC. This should normally be @file{/usr/include}.
508
509 The Makefile commands should check whether the value of
510 @code{oldincludedir} is empty. If it is, they should not try to use
511 it; they should cancel the second installation of the header files.
512
513 @item mandir
514 The directory for installing the man pages (if any) for this package.
515 It should include the suffix for the proper section of the
516 manual---usually @samp{1} for a utility.
517
518 @item man1dir
519 The directory for installing section 1 man pages.
520 @item man2dir
521 The directory for installing section 2 man pages.
522 @item @dots{}
523 Use these names instead of @samp{mandir} if the package needs to install man
524 pages in more than one section of the manual.
525
526 @strong{Don't make the primary documentation for any GNU software be a
527 man page. Write a manual in Texinfo instead. Man pages are just for
528 the sake of people running GNU software on Unix, which is a secondary
529 application only.}
530
531 @item manext
532 The file name extension for the installed man page. This should contain
533 a period followed by the appropriate digit.
534
535 @item infodir
536 The directory for installing the info files for this package. By
537 default, it should be @file{/usr/local/info}, but it should be written
538 as @file{$(prefix)/info}.
539
540 @item srcdir
541 The directory for the sources being compiled. The value of this
542 variable is normally inserted by the @code{configure} shell script.
543 @end table
544
545 For example:
546
547 @example
548 # Common prefix for installation directories.
549 # NOTE: This directory must exist when you start installation.
550 prefix = /usr/local
551 exec_prefix = $(prefix)
552 # Directory in which to put the executable for the command `gcc'
553 bindir = $(exec_prefix)/bin
554 # Directory in which to put the directories used by the compiler.
555 libdir = $(exec_prefix)/lib
556 # Directory in which to put the Info files.
557 infodir = $(prefix)/info
558 @end example
559
560 @node Configuration
561 @chapter How Configuration Should Work
562
563 Each GNU distribution should come with a shell script named
564 @code{configure}. This script is given arguments which describe the
565 kind of machine and system you want to compile the program for.
566
567 The @code{configure} script must record the configuration options so
568 that they affect compilation.
569
570 One way to do this is to make a link from a standard name such as
571 @file{config.h} to the proper configuration file for the chosen system.
572 If you use this technique, the distribution should @emph{not} contain a
573 file named @file{config.h}. This is so that people won't be able to
574 build the program without configuring it first.
575
576 Another thing that @code{configure} can do is to edit the Makefile. If
577 you do this, the distribution should @emph{not} contain a file named
578 @file{Makefile}. Instead, include a file @file{Makefile.in} which
579 contains the input used for editing. Once again, this is so that people
580 won't be able to build the program without configuring it first.
581
582 If @code{configure} does write the @file{Makefile}, then @file{Makefile}
583 should have a target named @file{Makefile} which causes @code{configure}
584 to be rerun, setting up the same configuration that was set up last
585 time. The files that @code{configure} reads should be listed as
586 dependencies of @file{Makefile}.
587
588 All the files which are output from the @code{configure} script should
589 have comments at the beginning explaining that they were generated
590 automatically using @code{configure}. This is so that users won't think
591 of trying to edit them by hand.
592
593 The @code{configure} script should write a file named @file{config.status}
594 which describes which configuration options were specified when the
595 program was last configured. This file should be a shell script which,
596 if run, will recreate the same configuration.
597
598 The @code{configure} script should accept an option of the form
599 @samp{--srcdir=@var{dirname}} to specify the directory where sources are found
600 (if it is not the current directory). This makes it possible to build
601 the program in a separate directory, so that the actual source directory
602 is not modified.
603
604 If the user does not specify @samp{--srcdir}, then @code{configure} should
605 check both @file{.} and @file{..} to see if it can find the sources. If
606 it finds the sources in one of these places, it should use them from
607 there. Otherwise, it should report that it cannot find the sources, and
608 should exit with nonzero status.
609
610 Usually the easy way to support @samp{--srcdir} is by editing a
611 definition of @code{VPATH} into the Makefile. Some rules may need to
612 refer explicitly to the specified source directory. To make this
613 possible, @code{configure} can add to the Makefile a variable named
614 @code{srcdir} whose value is precisely the specified directory.
615
616 The @code{configure} script should also take an argument which specifies the
617 type of system to build the program for. This argument should look like
618 this:
619
620 @example
621 @var{cpu}-@var{company}-@var{system}
622 @end example
623
624 For example, a Sun 3 might be @samp{m68k-sun-sunos4.1}.
625
626 The @code{configure} script needs to be able to decode all plausible
627 alternatives for how to describe a machine. Thus, @samp{sun3-sunos4.1}
628 would be a valid alias. So would @samp{sun3-bsd4.2}, since SunOS is
629 basically @sc{BSD} and no other @sc{BSD} system is used on a Sun. For many
630 programs, @samp{vax-dec-ultrix} would be an alias for
631 @samp{vax-dec-bsd}, simply because the differences between Ultrix and
632 @sc{BSD} are rarely noticeable, but a few programs might need to distinguish
633 them.
634
635 There is a shell script called @file{config.sub} that you can use
636 as a subroutine to validate system types and canonicalize aliases.
637
638 Other options are permitted to specify in more detail the software
639 or hardware are present on the machine:
640
641 @table @samp
642 @item --with-@var{package}
643 The package @var{package} will be installed, so configure this package
644 to work with @var{package}.
645
646 Possible values of @var{package} include @samp{x}, @samp{gnu-as} (or
647 @samp{gas}), @samp{gnu-ld}, @samp{gnu-libc}, and @samp{gdb}.
648
649 @item --nfp
650 The target machine has no floating point processor.
651
652 @item --gas
653 The target machine assembler is GAS, the GNU assembler.
654 This is obsolete; use @samp{--with-gnu-as} instead.
655
656 @item --x
657 The target machine has the X Window system installed.
658 This is obsolete; use @samp{--with-x} instead.
659 @end table
660
661 All @code{configure} scripts should accept all of these ``detail''
662 options, whether or not they make any difference to the particular
663 package at hand. In particular, they should accept any option that
664 starts with @samp{--with-}. This is so users will be able to configure
665 an entire GNU source tree at once with a single set of options.
666
667 Packages that perform part of compilation may support cross-compilation.
668 In such a case, the host and target machines for the program may be
669 different. The @code{configure} script should normally treat the
670 specified type of system as both the host and the target, thus producing
671 a program which works for the same type of machine that it runs on.
672
673 The way to build a cross-compiler, cross-assembler, or what have you, is
674 to specify the option @samp{--host=@var{hosttype}} when running
675 @code{configure}. This specifies the host system without changing the
676 type of target system. The syntax for @var{hosttype} is the same as
677 described above.
678
679 Programs for which cross-operation is not meaningful need not accept the
680 @samp{--host} option, because configuring an entire operating system for
681 cross-operation is not a meaningful thing.
682
683 Some programs have ways of configuring themselves automatically. If
684 your program is set up to do this, your @code{configure} script can simply
685 ignore most of its arguments.
686
687
688 @node Source Language
689 @chapter Using Languages Other Than C
690
691 Using a language other than C is like using a non-standard feature: it
692 will cause trouble for users. Even if GCC supports the other language,
693 users may find it inconvenient to have to install the compiler for that
694 other language in order to build your program. So please write in C.
695
696 There are three exceptions for this rule:
697
698 @itemize @bullet
699 @item
700 It is okay to use a special language if the same program contains an
701 interpreter for that language.
702
703 Thus, it is not a problem that GNU Emacs contains code written in Emacs
704 Lisp, because it comes with a Lisp interpreter.
705
706 @item
707 It is okay to use another language in a tool specifically intended for
708 use with that language.
709
710 This is okay because the only people who want to build the tool will be
711 those who have installed the other language anyway.
712
713 @item
714 If an application is not of extremely widespread interest, then perhaps
715 it's not important if the application is inconvenient to install.
716 @end itemize
717
718 @node Formatting
719 @chapter Formatting Your Source Code
720
721 It is important to put the open-brace that starts the body of a C
722 function in column zero, and avoid putting any other open-brace or
723 open-parenthesis or open-bracket in column zero. Several tools look
724 for open-braces in column zero to find the beginnings of C functions.
725 These tools will not work on code not formatted that way.
726
727 It is also important for function definitions to start the name of the
728 function in column zero. This helps people to search for function
729 definitions, and may also help certain tools recognize them. Thus,
730 the proper format is this:
731
732 @example
733 static char *
734 concat (s1, s2) /* Name starts in column zero here */
735 char *s1, *s2;
736 @{ /* Open brace in column zero here */
737 @dots{}
738 @}
739 @end example
740
741 @noindent
742 or, if you want to use @sc{ANSI} C, format the definition like this:
743
744 @example
745 static char *
746 concat (char *s1, char *s2)
747 @{
748 @dots{}
749 @}
750 @end example
751
752 In @sc{ANSI} C, if the arguments don't fit nicely on one line,
753 split it like this:
754
755 @example
756 int
757 lots_of_args (int an_integer, long a_long, short a_short,
758 double a_double, float a_float)
759 @dots{}
760 @end example
761
762 For the body of the function, we prefer code formatted like this:
763
764 @example
765 if (x < foo (y, z))
766 haha = bar[4] + 5;
767 else
768 @{
769 while (z)
770 @{
771 haha += foo (z, z);
772 z--;
773 @}
774 return ++x + bar ();
775 @}
776 @end example
777
778 We find it easier to read a program when it has spaces before the
779 open-parentheses and after the commas. Especially after the commas.
780
781 When you split an expression into multiple lines, split it
782 before an operator, not after one. Here is the right way:
783
784 @example
785 if (foo_this_is_long && bar > win (x, y, z)
786 && remaining_condition)
787 @end example
788
789 Try to avoid having two operators of different precedence at the same
790 level of indentation. For example, don't write this:
791
792 @example
793 mode = (inmode[j] == VOIDmode
794 || GET_MODE_SIZE (outmode[j]) > GET_MODE_SIZE (inmode[j])
795 ? outmode[j] : inmode[j]);
796 @end example
797
798 Instead, use extra parentheses so that the indentation shows the nesting:
799
800 @example
801 mode = ((inmode[j] == VOIDmode
802 || (GET_MODE_SIZE (outmode[j]) > GET_MODE_SIZE (inmode[j])))
803 ? outmode[j] : inmode[j]);
804 @end example
805
806 Insert extra parentheses so that Emacs will indent the code properly.
807 For example, the following indentation looks nice if you do it by hand,
808 but Emacs would mess it up:
809
810 @example
811 v = rup->ru_utime.tv_sec*1000 + rup->ru_utime.tv_usec/1000
812 + rup->ru_stime.tv_sec*1000 + rup->ru_stime.tv_usec/1000;
813 @end example
814
815 But adding a set of parentheses solves the problem:
816
817 @example
818 v = (rup->ru_utime.tv_sec*1000 + rup->ru_utime.tv_usec/1000
819 + rup->ru_stime.tv_sec*1000 + rup->ru_stime.tv_usec/1000);
820 @end example
821
822 Format do-while statements like this:
823
824 @example
825 do
826 @{
827 a = foo (a);
828 @}
829 while (a > 0);
830 @end example
831
832 Please use formfeed characters (control-L) to divide the program into
833 pages at logical places (but not within a function). It does not matter
834 just how long the pages are, since they do not have to fit on a printed
835 page. The formfeeds should appear alone on lines by themselves.
836
837
838 @node Comments
839 @chapter Commenting Your Work
840
841 Every program should start with a comment saying briefly what it is for.
842 Example: @samp{fmt - filter for simple filling of text}.
843
844 Please put a comment on each function saying what the function does,
845 what sorts of arguments it gets, and what the possible values of
846 arguments mean and are used for. It is not necessary to duplicate in
847 words the meaning of the C argument declarations, if a C type is being
848 used in its customary fashion. If there is anything nonstandard about
849 its use (such as an argument of type @code{char *} which is really the
850 address of the second character of a string, not the first), or any
851 possible values that would not work the way one would expect (such as,
852 that strings containing newlines are not guaranteed to work), be sure
853 to say so.
854
855 Also explain the significance of the return value, if there is one.
856
857 Please put two spaces after the end of a sentence in your comments, so
858 that the Emacs sentence commands will work. Also, please write
859 complete sentences and capitalize the first word. If a lower-case
860 identifer comes at the beginning of a sentence, don't capitalize it!
861 Changing the spelling makes it a different identifier. If you don't
862 like starting a sentence with a lower case letter, write the sentence
863 differently (e.g. ``The identifier lower-case is @dots{}'').
864
865 The comment on a function is much clearer if you use the argument
866 names to speak about the argument values. The variable name itself
867 should be lower case, but write it in upper case when you are speaking
868 about the value rather than the variable itself. Thus, ``the inode
869 number @var{node_num}'' rather than ``an inode''.
870
871 There is usually no purpose in restating the name of the function in
872 the comment before it, because the reader can see that for himself.
873 There might be an exception when the comment is so long that the function
874 itself would be off the bottom of the screen.
875
876 There should be a comment on each static variable as well, like this:
877
878 @example
879 /* Nonzero means truncate lines in the display;
880 zero means continue them. */
881
882 int truncate_lines;
883 @end example
884
885 Every @samp{#endif} should have a comment, except in the case of short
886 conditionals (just a few lines) that are not nested. The comment should
887 state the condition of the conditional that is ending, @emph{including
888 its sense}. @samp{#else} should have a comment describing the condition
889 @emph{and sense} of the code that follows. For example:
890
891 @example
892 #ifdef foo
893 @dots{}
894 #else /* not foo */
895 @dots{}
896 #endif /* not foo */
897 @end example
898
899 @noindent
900 but, by contrast, write the comments this way for a @samp{#ifndef}:
901
902 @example
903 #ifndef foo
904 @dots{}
905 #else /* foo */
906 @dots{}
907 #endif /* foo */
908 @end example
909
910
911 @node Syntactic Conventions
912 @chapter Clean Use of C Constructs
913
914 Please explicitly declare all arguments to functions.
915 Don't omit them just because they are ints.
916
917 Declarations of external functions and functions to appear later
918 in the source file should all go in one place near the beginning of
919 the file (somewhere before the first function definition in the file),
920 or else should go in a header file. Don't put extern declarations
921 inside functions.
922
923 Don't declare multiple variables in one declaration that spans lines.
924 Start a new declaration on each line, instead. For example, instead
925 of this:
926
927 @example
928 int foo,
929 bar;
930 @end example
931
932 @noindent
933 write either this:
934
935 @example
936 int foo, bar;
937 @end example
938
939 @noindent
940 or this:
941
942 @example
943 int foo;
944 int bar;
945 @end example
946
947 @noindent
948 (If they are global variables, each should have a comment preceding it
949 anyway.)
950
951 When you have an if-else statement nested in another if statement,
952 always put braces around the if-else. Thus, never write like this:
953
954 @example
955 if (foo)
956 if (bar)
957 win ();
958 else
959 lose ();
960 @end example
961
962 @noindent
963 always like this:
964
965 @example
966 if (foo)
967 @{
968 if (bar)
969 win ();
970 else
971 lose ();
972 @}
973 @end example
974
975 If you have an if statement nested inside of an else statement,
976 either write @code{else if} on one line, like this,
977
978 @example
979 if (foo)
980 @dots{}
981 else if (bar)
982 @dots{}
983 @end example
984
985 @noindent
986 with its then-part indented like the preceding then-part, or write the
987 nested if within braces like this:
988
989 @example
990 if (foo)
991 @dots{}
992 else
993 @{
994 if (bar)
995 @dots{}
996 @}
997 @end example
998
999 Don't declare both a structure tag and variables or typedefs in the
1000 same declaration. Instead, declare the structure tag separately
1001 and then use it to declare the variables or typedefs.
1002
1003 Try to avoid assignments inside if-conditions. For example, don't
1004 write this:
1005
1006 @example
1007 if ((foo = (char *) malloc (sizeof *foo)) == 0)
1008 fatal ("virtual memory exhausted");
1009 @end example
1010
1011 @noindent
1012 instead, write this:
1013
1014 @example
1015 foo = (char *) malloc (sizeof *foo);
1016 if (foo == 0)
1017 fatal ("virtual memory exhausted");
1018 @end example
1019
1020 Don't make the program ugly to placate lint. Please don't insert any
1021 casts to void. Zero without a cast is perfectly fine as a null
1022 pointer constant.
1023
1024
1025 @node Names
1026 @chapter Naming Variables and Functions
1027
1028 Please use underscores to separate words in a name, so that the Emacs
1029 word commands can be useful within them. Stick to lower case; reserve
1030 upper case for macros and enum constants, and for name-prefixes that
1031 follow a uniform convention.
1032
1033 For example, you should use names like @code{ignore_space_change_flag};
1034 don't use names like @code{iCantReadThis}.
1035
1036 Variables that indicate whether command-line options have been
1037 specified should be named after the meaning of the option, not after
1038 the option-letter. A comment should state both the exact meaning of
1039 the option and its letter. For example,
1040
1041 @example
1042 /* Ignore changes in horizontal whitespace (-b). */
1043 int ignore_space_change_flag;
1044 @end example
1045
1046 When you want to define names with constant integer values, use
1047 @code{enum} rather than @samp{#define}. GDB knows about enumeration
1048 constants.
1049
1050 Use file names of 14 characters or less, to avoid creating gratuitous
1051 problems on System V.
1052
1053
1054 @node Using Extensions
1055 @chapter Using Non-standard Features
1056
1057 Many GNU facilities that already exist support a number of convenient
1058 extensions over the comparable Unix facilities. Whether to use these
1059 extensions in implementing your program is a difficult question.
1060
1061 On the one hand, using the extensions can make a cleaner program.
1062 On the other hand, people will not be able to build the program
1063 unless the other GNU tools are available. This might cause the
1064 program to work on fewer kinds of machines.
1065
1066 With some extensions, it might be easy to provide both alternatives.
1067 For example, you can define functions with a ``keyword'' @code{INLINE}
1068 and define that as a macro to expand into either @code{inline} or
1069 nothing, depending on the compiler.
1070
1071 In general, perhaps it is best not to use the extensions if you can
1072 straightforwardly do without them, but to use the extensions if they
1073 are a big improvement.
1074
1075 An exception to this rule are the large, established programs (such as
1076 Emacs) which run on a great variety of systems. Such programs would
1077 be broken by use of GNU extensions.
1078
1079 Another exception is for programs that are used as part of
1080 compilation: anything that must be compiled with other compilers in
1081 order to bootstrap the GNU compilation facilities. If these require
1082 the GNU compiler, then no one can compile them without having them
1083 installed already. That would be no good.
1084
1085 Since most computer systems do not yet implement @sc{ANSI} C, using the
1086 @sc{ANSI} C features is effectively using a GNU extension, so the
1087 same considerations apply. (Except for @sc{ANSI} features that we
1088 discourage, such as trigraphs---don't ever use them.)
1089
1090 @node Semantics
1091 @chapter Program Behaviour for All Programs
1092
1093 Avoid arbitrary limits on the length or number of @emph{any} data
1094 structure, including filenames, lines, files, and symbols, by allocating
1095 all data structures dynamically. In most Unix utilities, ``long lines
1096 are silently truncated''. This is not acceptable in a GNU utility.
1097
1098 Utilities reading files should not drop NUL characters, or any other
1099 nonprinting characters @emph{including those with codes above 0177}. The
1100 only sensible exceptions would be utilities specifically intended for
1101 interface to certain types of printers that can't handle those characters.
1102
1103 Check every system call for an error return, unless you know you wish to
1104 ignore errors. Include the system error text (from @code{perror} or
1105 equivalent) in @emph{every} error message resulting from a failing
1106 system call, as well as the name of the file if any and the name of the
1107 utility. Just ``cannot open foo.c'' or ``stat failed'' is not
1108 sufficient.
1109
1110 Check every call to @code{malloc} or @code{realloc} to see if it
1111 returned zero. Check @code{realloc} even if you are making the block
1112 smaller; in a system that rounds block sizes to a power of 2,
1113 @code{realloc} may get a different block if you ask for less space.
1114
1115 In Unix, @code{realloc} can destroy the storage block if it returns
1116 zero. GNU @code{realloc} does not have this bug: if it fails, the
1117 original block is unchanged. Feel free to assume the bug is fixed. If
1118 you wish to run your program on Unix, and wish to avoid lossage in this
1119 case, you can use the GNU @code{malloc}.
1120
1121 You must expect @code{free} to alter the contents of the block that was
1122 freed. Anything you want to fetch from the block, you must fetch before
1123 calling @code{free}.
1124
1125 Use @code{getopt_long} to decode arguments, unless the argument syntax
1126 makes this unreasonable.
1127
1128 When static storage is to be written in during program execution, use
1129 explicit C code to initialize it. Reserve C initialized declarations
1130 for data that will not be changed.
1131
1132 Try to avoid low-level interfaces to obscure Unix data structures (such
1133 as file directories, utmp, or the layout of kernel memory), since these
1134 are less likely to work compatibly. If you need to find all the files
1135 in a directory, use @code{readdir} or some other high-level interface.
1136 These will be supported compatibly by GNU.
1137
1138 By default, the GNU system will provide the signal handling functions of
1139 @sc{BSD} and of @sc{POSIX}. So GNU software should be written to use
1140 these.
1141
1142 In error checks that detect ``impossible'' conditions, just abort.
1143 There is usually no point in printing any message. These checks
1144 indicate the existence of bugs. Whoever wants to fix the bugs will have
1145 to read the source code and run a debugger. So explain the problem with
1146 comments in the source. The relevant data will be in variables, which
1147 are easy to examine with the debugger, so there is no point moving them
1148 elsewhere.
1149
1150
1151 @node Errors
1152 @chapter Formatting Error Messages
1153
1154 Error messages from compilers should look like this:
1155
1156 @example
1157 @var{source-file-name}:@var{lineno}: @var{message}
1158 @end example
1159
1160 Error messages from other noninteractive programs should look like this:
1161
1162 @example
1163 @var{program}:@var{source-file-name}:@var{lineno}: @var{message}
1164 @end example
1165
1166 @noindent
1167 when there is an appropriate source file, or like this:
1168
1169 @example
1170 @var{program}: @var{message}
1171 @end example
1172
1173 @noindent
1174 when there is no relevant source file.
1175
1176 In an interactive program (one that is reading commands from a
1177 terminal), it is better not to include the program name in an error
1178 message. The place to indicate which program is running is in the
1179 prompt or with the screen layout. (When the same program runs with
1180 input from a source other than a terminal, it is not interactive and
1181 would do best to print error messages using the noninteractive style.)
1182
1183 The string @var{message} should not begin with a capital letter when
1184 it follows a program name and/or filename. Also, it should not end
1185 with a period.
1186
1187 Error messages from interactive programs, and other messages such as
1188 usage messages, should start with a capital letter. But they should not
1189 end with a period.
1190
1191
1192 @node Libraries
1193 @chapter Library Behaviour
1194
1195 Try to make library functions reentrant. If they need to do dynamic
1196 storage allocation, at least try to avoid any nonreentrancy aside from
1197 that of @code{malloc} itself.
1198
1199 Here are certain name conventions for libraries, to avoid name
1200 conflicts.
1201
1202 Choose a name prefix for the library, more than two characters long.
1203 All external function and variable names should start with this
1204 prefix. In addition, there should only be one of these in any given
1205 library member. This usually means putting each one in a separate
1206 source file.
1207
1208 An exception can be made when two external symbols are always used
1209 together, so that no reasonable program could use one without the
1210 other; then they can both go in the same file.
1211
1212 External symbols that are not documented entry points for the user
1213 should have names beginning with @samp{_}. They should also contain
1214 the chosen name prefix for the library, to prevent collisions with
1215 other libraries. These can go in the same files with user entry
1216 points if you like.
1217
1218 Static functions and variables can be used as you like and need not
1219 fit any naming convention.
1220
1221
1222 @node Portability
1223 @chapter Portability As It Applies to GNU
1224
1225 Much of what is called ``portability'' in the Unix world refers to
1226 porting to different Unix versions. This is not relevant to GNU
1227 software, because its purpose is to run on top of one and only
1228 one kernel, the GNU kernel, compiled with one and only one C
1229 compiler, the GNU C compiler. The amount and kinds of variation
1230 among GNU systems on different cpu's will be like the variation
1231 among Berkeley 4.3 systems on different cpu's.
1232
1233 It is difficult to be sure exactly what facilities the GNU kernel
1234 will provide, since it isn't finished yet. Therefore, assume you can
1235 use anything in 4.3; just avoid using the format of semi-internal data
1236 bases (e.g., directories) when there is a higher-level alternative
1237 (readdir).
1238
1239 You can freely assume any reasonably standard facilities in the C
1240 language, libraries or kernel, because we will find it necessary to
1241 support these facilities in the full GNU system, whether or not we
1242 have already done so. The fact that there may exist kernels or C
1243 compilers that lack these facilities is irrelevant as long as the GNU
1244 kernel and C compiler support them.
1245
1246 It remains necessary to worry about differences among cpu types, such
1247 as the difference in byte ordering and alignment restrictions. It's
1248 unlikely that 16-bit machines will ever be supported by GNU, so there
1249 is no point in spending any time to consider the possibility that an
1250 int will be less than 32 bits.
1251
1252 You can assume that all pointers have the same format, regardless
1253 of the type they point to, and that this is really an integer.
1254 There are some weird machines where this isn't true, but they aren't
1255 important; don't waste time catering to them. Besides, eventually
1256 we will put function prototypes into all GNU programs, and that will
1257 probably make your program work even on weird machines.
1258
1259 Since some important machines (including the 68000) are big-endian,
1260 it is important not to assume that the address of an int object
1261 is also the address of its least-significant byte. Thus, don't
1262 make the following mistake:
1263
1264 @example
1265 int c;
1266 @dots{}
1267 while ((c = getchar()) != EOF)
1268 write(file_descriptor, &c, 1);
1269 @end example
1270
1271 You can assume that it is reasonable to use a meg of memory. Don't
1272 strain to reduce memory usage unless it can get to that level. If
1273 your program creates complicated data structures, just make them in
1274 core and give a fatal error if malloc returns zero.
1275
1276 If a program works by lines and could be applied to arbitrary
1277 user-supplied input files, it should keep only a line in memory, because
1278 this is not very hard and users will want to be able to operate on input
1279 files that are bigger than will fit in core all at once.
1280
1281
1282 @node User Interfaces
1283 @chapter Standards for Command Line Interfaces
1284
1285 Please don't make the behavior of a utility depend on the name used
1286 to invoke it. It is useful sometimes to make a link to a utility
1287 with a different name, and that should not change what it does.
1288
1289 Instead, use a run time option or a compilation switch or both
1290 to select among the alternate behaviors.
1291
1292 It is a good idea to follow the @sc{POSIX} guidelines for the
1293 command-line options of a program. The easiest way to do this is to use
1294 @code{getopt} to parse them. Note that the GNU version of @code{getopt}
1295 will normally permit options anywhere among the arguments unless the
1296 special argument @samp{--} is used. This is not what @sc{POSIX}
1297 specifies; it is a GNU extension.
1298
1299 Please define long-named options that are equivalent to the
1300 single-letter Unix-style options. We hope to make GNU more user
1301 friendly this way. This is easy to do with the GNU function
1302 @code{getopt_long}.
1303
1304 It is usually a good idea for file names given as ordinary arguments
1305 to be input files only; any output files would be specified using
1306 options (preferably @samp{-o}). Even if you allow an output file name
1307 as an ordinary argument for compatibility, try to provide a suitable
1308 option as well. This will lead to more consistency among GNU
1309 utilities, so that there are fewer idiosyncracies for users to
1310 remember.
1311
1312 Programs should support an option @samp{--version} which prints the
1313 program's version number, and an option @samp{--help} which prints
1314 option usage information.
1315
1316
1317 @node Documentation
1318 @chapter Documenting Programs
1319
1320 Please use Texinfo for documenting GNU programs. See the Texinfo
1321 manual, either the hardcopy or the version in the GNU Emacs Info
1322 sub-system (@kbd{C-h i}).
1323
1324 See existing GNU texinfo files (e.g. those under the @file{man/}
1325 directory in the GNU Emacs Distribution) for examples.
1326
1327 The title page of the manual should state the version of the program
1328 which the manual applies to. The Top node of the manual should also
1329 contain this information. If the manual is changing more frequently
1330 than or independent of the program, also state a version number for
1331 the manual in both of these places.
1332
1333 The manual should document all command-line arguments and all
1334 commands. It should give examples of their use. But don't organize
1335 the manual as a list of features. Instead, organize it by the
1336 concepts a user will have before reaching that point in the manual.
1337 Address the goals that a user will have in mind, and explain how to
1338 accomplish them.
1339
1340
1341 @node Releases
1342 @chapter Making Releases
1343
1344 Package the distribution of Foo version 69.96 in a tar file named
1345 @file{foo-69.96.tar}. It should unpack into a subdirectory named
1346 @file{foo-69.96}.
1347
1348 Building and installing the program should never modify any of the files
1349 contained in the distribution. This means that all the files that form
1350 part of the program in any way must be classified into @dfn{source
1351 files} and @dfn{non-source files}. Source files are written by humans
1352 and never changed automatically; non-source files are produced from
1353 source files by programs under the control of the Makefile.
1354
1355 Naturally, all the source files must be in the distribution. It is okay
1356 to include non-source files in the distribution, provided they are
1357 up-to-date and machine-independent, so that building the distribution
1358 normally will never modify them. We commonly included non-source files
1359 produced by Bison, Lex, @TeX{}, and Makeinfo; this helps avoid
1360 unnecessary dependencies between our distributions, so that users can
1361 install whichever packages they want to install.
1362
1363 Non-source files that might actually be modified by building and
1364 installing the program should @strong{never} be included in the
1365 distribution. So if you do distribute non-source files, always make
1366 sure they are up to date when you make a new distribution.
1367
1368 Make sure that no file name in the distribution is no more than 14
1369 characters long. Nowadays, there are systems that adhere to a foolish
1370 interpretation of the POSIX standard which holds that they should refuse
1371 to open a longer name, rather than truncating as they did in the past.
1372
1373 Try to make sure that all the file names will be unique on MS-DOG. A
1374 name on MS-DOG consists of up to 8 characters, optionally followed by a
1375 period and up to three characters. MS-DOG will truncate extra
1376 characters both before and after the period. Thus,
1377 @file{foobarhacker.c} and @file{foobarhacker.o} are not ambiguous; they
1378 are truncated to @file{foobarha.c} and @file{foobarha.o}, which are
1379 distinct.
1380
1381 Include in your distribution a copy of the @file{texinfo.tex} you used
1382 to test print any @file{*.texinfo} files.
1383
1384 Likewise, if your program uses small GNU software packages like regex,
1385 getopt, obstack, or termcap, include them in the distribution file.
1386 Leaving them out would make the distribution file a little smaller at
1387 the expense of possible inconvenience to a user who doesn't know what
1388 other files to get.
1389 @bye
This page took 0.056668 seconds and 4 git commands to generate.