]> code.delx.au - gnu-emacs/blob - man/building.texi
*** empty log message ***
[gnu-emacs] / man / building.texi
1 @c This is part of the Emacs manual.
2 @c Copyright (C) 1985, 86, 87, 93, 94, 95, 97, 2000 Free Software Foundation, Inc.
3 @c See file emacs.texi for copying conditions.
4 @node Building, Abbrevs, Programs, Top
5 @chapter Compiling and Testing Programs
6 @cindex building programs
7 @cindex program building
8 @cindex running Lisp functions
9
10 The previous chapter discusses the Emacs commands that are useful for
11 making changes in programs. This chapter deals with commands that assist
12 in the larger process of developing and maintaining programs.
13
14 @menu
15 * Compilation:: Compiling programs in languages other
16 than Lisp (C, Pascal, etc.).
17 * Grep Searching:: Running grep as if it were a compiler.
18 * Compilation Mode:: The mode for visiting compiler errors.
19 * Compilation Shell:: Customizing your shell properly
20 for use in the compilation buffer.
21 * Debuggers:: Running symbolic debuggers for non-Lisp programs.
22 * Executing Lisp:: Various modes for editing Lisp programs,
23 with different facilities for running
24 the Lisp programs.
25 * Libraries: Lisp Libraries. Creating Lisp programs to run in Emacs.
26 * Interaction: Lisp Interaction. Executing Lisp in an Emacs buffer.
27 * Eval: Lisp Eval. Executing a single Lisp expression in Emacs.
28 * External Lisp:: Communicating through Emacs with a separate Lisp.
29 @end menu
30
31 @node Compilation
32 @section Running Compilations under Emacs
33 @cindex inferior process
34 @cindex make
35 @cindex compilation errors
36 @cindex error log
37
38 Emacs can run compilers for noninteractive languages such as C and
39 Fortran as inferior processes, feeding the error log into an Emacs buffer.
40 It can also parse the error messages and show you the source lines where
41 compilation errors occurred.
42
43 @table @kbd
44 @item M-x compile
45 Run a compiler asynchronously under Emacs, with error messages to
46 @samp{*compilation*} buffer.
47 @item M-x grep
48 Run @code{grep} asynchronously under Emacs, with matching lines
49 listed in the buffer named @samp{*grep*}.
50 @item M-x grep-find
51 Run @code{grep} via @code{find}, with user-specified arguments, and
52 collect output in the buffer named @samp{*grep*}.
53 @item M-x kill-compilation
54 @itemx M-x kill-grep
55 Kill the running compilation or @code{grep} subprocess.
56 @end table
57
58 @findex compile
59 To run @code{make} or another compilation command, do @kbd{M-x
60 compile}. This command reads a shell command line using the minibuffer,
61 and then executes the command in an inferior shell, putting output in
62 the buffer named @samp{*compilation*}. The current buffer's default
63 directory is used as the working directory for the execution of the
64 command; normally, therefore, the compilation happens in this
65 directory.
66
67 @vindex compile-command
68 When the shell command line is read, the minibuffer appears containing
69 a default command line, which is the command you used the last time you
70 did @kbd{M-x compile}. If you type just @key{RET}, the same command
71 line is used again. For the first @kbd{M-x compile}, the default is
72 @samp{make -k}. The default compilation command comes from the variable
73 @code{compile-command}; if the appropriate compilation command for a
74 file is something other than @samp{make -k}, it can be useful for the
75 file to specify a local value for @code{compile-command} (@pxref{File
76 Variables}).
77
78 Starting a compilation displays the buffer @samp{*compilation*} in
79 another window but does not select it. The buffer's mode line tells you
80 whether compilation is finished, with the word @samp{run} or @samp{exit}
81 inside the parentheses. You do not have to keep this buffer visible;
82 compilation continues in any case. While a compilation is going on, the
83 string @samp{Compiling} appears in the mode lines of all windows. When
84 this string disappears, the compilation is finished.
85
86 If you want to watch the compilation transcript as it appears, switch
87 to the @samp{*compilation*} buffer and move point to the end of the
88 buffer. When point is at the end, new compilation output is inserted
89 above point, which remains at the end. If point is not at the end of
90 the buffer, it remains fixed while more compilation output is added at
91 the end of the buffer.
92
93 @vindex compilation-scroll-output
94 If you set the variable @code{compilation-scroll-output} to a
95 non-@code{nil} value, then the compilation buffer always scrolls to
96 follow output as it comes in.
97
98 @findex kill-compilation
99 To kill the compilation process, do @kbd{M-x kill-compilation}. When
100 the compiler process terminates, the mode line of the
101 @samp{*compilation*} buffer changes to say @samp{signal} instead of
102 @samp{run}. Starting a new compilation also kills any running
103 compilation, as only one can exist at any time. However, @kbd{M-x
104 compile} asks for confirmation before actually killing a compilation
105 that is running.
106
107 @node Grep Searching
108 @section Searching with Grep under Emacs
109
110 @findex grep
111 Just as you can run a compiler from Emacs and then visit the lines
112 where there were compilation errors, you can also run @code{grep} and
113 then visit the lines on which matches were found. This works by
114 treating the matches reported by @code{grep} as if they were ``errors.''
115
116 To do this, type @kbd{M-x grep}, then enter a command line that
117 specifies how to run @code{grep}. Use the same arguments you would give
118 @code{grep} when running it normally: a @code{grep}-style regexp
119 (usually in single-quotes to quote the shell's special characters)
120 followed by file names, which may use wildcards. The output from
121 @code{grep} goes in the @samp{*grep*} buffer. You can find the
122 corresponding lines in the original files using @kbd{C-x `} and
123 @key{RET}, as with compilation errors.
124
125 If you specify a prefix argument for @kbd{M-x grep}, it figures out
126 the tag (@pxref{Tags}) around point, and puts that into the default
127 @code{grep} command.
128
129 @findex grep-find
130 The command @kbd{M-x grep-find} is similar to @kbd{M-x grep}, but it
131 supplies a different initial default for the command---one that runs
132 both @code{find} and @code{grep}, so as to search every file in a
133 directory tree. See also the @code{find-grep-dired} command,
134 in @ref{Dired and Find}.
135
136 @node Compilation Mode
137 @section Compilation Mode
138
139 @findex compile-goto-error
140 @cindex Compilation mode
141 @cindex mode, Compilation
142 The @samp{*compilation*} buffer uses a special major mode, Compilation
143 mode, whose main feature is to provide a convenient way to look at the
144 source line where the error happened.
145
146 @table @kbd
147 @item C-x `
148 Visit the locus of the next compiler error message or @code{grep} match.
149 @item @key{RET}
150 Visit the locus of the error message that point is on.
151 This command is used in the compilation buffer.
152 @item Mouse-2
153 Visit the locus of the error message that you click on.
154 @end table
155
156 @kindex C-x `
157 @findex next-error
158 You can visit the source for any particular error message by moving
159 point in @samp{*compilation*} to that error message and typing @key{RET}
160 (@code{compile-goto-error}). Or click @kbd{Mouse-2} on the error message;
161 you need not switch to the @samp{*compilation*} buffer first.
162
163 To parse the compiler error messages sequentially, type @kbd{C-x `}
164 (@code{next-error}). The character following the @kbd{C-x} is the
165 backquote or ``grave accent,'' not the single-quote. This command is
166 available in all buffers, not just in @samp{*compilation*}; it displays
167 the next error message at the top of one window and source location of
168 the error in another window.
169
170 The first time @kbd{C-x `} is used after the start of a compilation,
171 it moves to the first error's location. Subsequent uses of @kbd{C-x `}
172 advance down to subsequent errors. If you visit a specific error
173 message with @key{RET} or @kbd{Mouse-2}, subsequent @kbd{C-x `}
174 commands advance from there. When @kbd{C-x `} gets to the end of the
175 buffer and finds no more error messages to visit, it fails and signals
176 an Emacs error.
177
178 @kbd{C-u C-x `} starts scanning from the beginning of the compilation
179 buffer. This is one way to process the same set of errors again.
180
181 Compilation mode also redefines the keys @key{SPC} and @key{DEL} to
182 scroll by screenfuls, and @kbd{M-n} and @kbd{M-p} to move to the next or
183 previous error message. You can also use @kbd{M-@{} and @kbd{M-@}} to
184 move up or down to an error message for a different source file.
185
186 The features of Compilation mode are also available in a minor mode
187 called Compilation Minor mode. This lets you parse error messages in
188 any buffer, not just a normal compilation output buffer. Type @kbd{M-x
189 compilation-minor-mode} to enable the minor mode. This defines the keys
190 @key{RET} and @kbd{Mouse-2}, as in the Compilation major mode.
191
192 Compilation minor mode works in any buffer, as long as the contents
193 are in a format that it understands. In an Rlogin buffer (@pxref{Remote
194 Host}), Compilation minor mode automatically accesses remote source
195 files by FTP (@pxref{File Names}).
196
197 @node Compilation Shell
198 @section Subshells for Compilation
199
200 Emacs uses a shell to run the compilation command, but specifies
201 the option for a noninteractive shell. This means, in particular, that
202 the shell should start with no prompt. If you find your usual shell
203 prompt making an unsightly appearance in the @samp{*compilation*}
204 buffer, it means you have made a mistake in your shell's init file by
205 setting the prompt unconditionally. (This init file's name may be
206 @file{.bashrc}, @file{.profile}, @file{.cshrc}, @file{.shrc}, or various
207 other things, depending on the shell you use.) The shell init file
208 should set the prompt only if there already is a prompt. In csh, here
209 is how to do it:
210
211 @example
212 if ($?prompt) set prompt = @dots{}
213 @end example
214
215 @noindent
216 And here's how to do it in bash:
217
218 @example
219 if [ "$@{PS1+set@}" = set ]
220 then PS1=@dots{}
221 fi
222 @end example
223
224 There may well be other things that your shell's init file
225 ought to do only for an interactive shell. You can use the same
226 method to conditionalize them.
227
228 The MS-DOS ``operating system'' does not support asynchronous
229 subprocesses; to work around this lack, @kbd{M-x compile} runs the
230 compilation command synchronously on MS-DOS. As a consequence, you must
231 wait until the command finishes before you can do anything else in
232 Emacs. @xref{MS-DOS}.
233
234 @node Debuggers
235 @section Running Debuggers Under Emacs
236 @cindex debuggers
237 @cindex GUD library
238 @cindex GDB
239 @cindex DBX
240 @cindex SDB
241 @cindex XDB
242 @cindex Perldb
243 @cindex JDB
244 @cindex PDB
245
246 @c Do you believe in GUD?
247 The GUD (Grand Unified Debugger) library provides an interface to
248 various symbolic debuggers from within Emacs. We recommend the debugger
249 GDB, which is free software, but you can also run DBX, SDB or XDB if you
250 have them. GUD can also serve as an interface to the Perl's debugging
251 mode, the Python debugger PDB, and to JDB, the Java Debugger.
252
253 @menu
254 * Starting GUD:: How to start a debugger subprocess.
255 * Debugger Operation:: Connection between the debugger and source buffers.
256 * Commands of GUD:: Key bindings for common commands.
257 * GUD Customization:: Defining your own commands for GUD.
258 * GUD Tooltips:: Showing variable values by pointing with the mouse.
259 @end menu
260
261 @node Starting GUD
262 @subsection Starting GUD
263
264 There are several commands for starting a debugger, each corresponding
265 to a particular debugger program.
266
267 @table @kbd
268 @item M-x gdb @key{RET} @var{file} @key{RET}
269 @findex gdb
270 Run GDB as a subprocess of Emacs. This command creates a buffer for
271 input and output to GDB, and switches to it. If a GDB buffer already
272 exists, it just switches to that buffer.
273
274 @item M-x dbx @key{RET} @var{file} @key{RET}
275 @findex dbx
276 Similar, but run DBX instead of GDB.
277
278 @item M-x xdb @key{RET} @var{file} @key{RET}
279 @findex xdb
280 @vindex gud-xdb-directories
281 Similar, but run XDB instead of GDB. Use the variable
282 @code{gud-xdb-directories} to specify directories to search for source
283 files.
284
285 @item M-x sdb @key{RET} @var{file} @key{RET}
286 @findex sdb
287 Similar, but run SDB instead of GDB.
288
289 Some versions of SDB do not mention source file names in their
290 messages. When you use them, you need to have a valid tags table
291 (@pxref{Tags}) in order for GUD to find functions in the source code.
292 If you have not visited a tags table or the tags table doesn't list one
293 of the functions, you get a message saying @samp{The sdb support
294 requires a valid tags table to work}. If this happens, generate a valid
295 tags table in the working directory and try again.
296
297 @item M-x perldb @key{RET} @var{file} @key{RET}
298 @findex perldb
299 Run the Perl interpreter in debug mode to debug @var{file}, a Perl program.
300
301 @item M-x jdb @key{RET} @var{file} @key{RET}
302 @findex jdb
303 Run the Java debugger to debug @var{file}.
304
305 @item M-x pdb @key{RET} @var{file} @key{RET}
306 @findex pdb
307 Run the Python debugger to debug @var{file}.
308 @end table
309
310 Each of these commands takes one argument: a command line to invoke
311 the debugger. In the simplest case, specify just the name of the
312 executable file you want to debug. You may also use options that the
313 debugger supports. However, shell wildcards and variables are not
314 allowed. GUD assumes that the first argument not starting with a
315 @samp{-} is the executable file name.
316
317 Emacs can only run one debugger process at a time.
318
319 @node Debugger Operation
320 @subsection Debugger Operation
321
322 When you run a debugger with GUD, the debugger uses an Emacs buffer
323 for its ordinary input and output. This is called the GUD buffer. The
324 debugger displays the source files of the program by visiting them in
325 Emacs buffers. An arrow (@samp{=>}) in one of these buffers indicates
326 the current execution line. Moving point in this buffer does not move
327 the arrow.
328
329 You can start editing these source files at any time in the buffers
330 that were made to display them. The arrow is not part of the file's
331 text; it appears only on the screen. If you do modify a source file,
332 keep in mind that inserting or deleting lines will throw off the arrow's
333 positioning; GUD has no way of figuring out which line corresponded
334 before your changes to the line number in a debugger message. Also,
335 you'll typically have to recompile and restart the program for your
336 changes to be reflected in the debugger's tables.
337
338 If you wish, you can control your debugger process entirely through the
339 debugger buffer, which uses a variant of Shell mode. All the usual
340 commands for your debugger are available, and you can use the Shell mode
341 history commands to repeat them. @xref{Shell Mode}.
342
343 @node Commands of GUD
344 @subsection Commands of GUD
345
346 The GUD interaction buffer uses a variant of Shell mode, so the
347 commands of Shell mode are available (@pxref{Shell Mode}). GUD mode
348 also provides commands for setting and clearing breakpoints, for
349 selecting stack frames, and for stepping through the program. These
350 commands are available both in the GUD buffer and globally, but with
351 different key bindings.
352
353 The breakpoint commands are usually used in source file buffers,
354 because that is the way to specify where to set or clear the breakpoint.
355 Here's the global command to set a breakpoint:
356
357 @table @kbd
358 @item C-x @key{SPC}
359 @kindex C-x SPC
360 Set a breakpoint on the source line that point is on.
361 @end table
362
363 @kindex C-x C-a @r{(GUD)}
364 Here are the other special commands provided by GUD. The keys
365 starting with @kbd{C-c} are available only in the GUD interaction
366 buffer. The key bindings that start with @kbd{C-x C-a} are available in
367 the GUD interaction buffer and also in source files.
368
369 @table @kbd
370 @item C-c C-l
371 @kindex C-c C-l @r{(GUD)}
372 @itemx C-x C-a C-l
373 @findex gud-refresh
374 Display in another window the last line referred to in the GUD
375 buffer (that is, the line indicated in the last location message).
376 This runs the command @code{gud-refresh}.
377
378 @item C-c C-s
379 @kindex C-c C-s @r{(GUD)}
380 @itemx C-x C-a C-s
381 @findex gud-step
382 Execute a single line of code (@code{gud-step}). If the line contains
383 a function call, execution stops after entering the called function.
384
385 @item C-c C-n
386 @kindex C-c C-n @r{(GUD)}
387 @itemx C-x C-a C-n
388 @findex gud-next
389 Execute a single line of code, stepping across entire function calls
390 at full speed (@code{gud-next}).
391
392 @item C-c C-i
393 @kindex C-c C-i @r{(GUD)}
394 @itemx C-x C-a C-i
395 @findex gud-stepi
396 Execute a single machine instruction (@code{gud-stepi}).
397
398 @need 3000
399 @item C-c C-r
400 @kindex C-c C-r @r{(GUD)}
401 @itemx C-x C-a C-r
402 @findex gud-cont
403 Continue execution without specifying any stopping point. The program
404 will run until it hits a breakpoint, terminates, or gets a signal that
405 the debugger is checking for (@code{gud-cont}).
406
407 @need 1000
408 @item C-c C-d
409 @kindex C-c C-d @r{(GUD)}
410 @itemx C-x C-a C-d
411 @findex gud-remove
412 Delete the breakpoint(s) on the current source line, if any
413 (@code{gud-remove}). If you use this command in the GUD interaction
414 buffer, it applies to the line where the program last stopped.
415
416 @item C-c C-t
417 @kindex C-c C-t @r{(GUD)}
418 @itemx C-x C-a C-t
419 @findex gud-tbreak
420 Set a temporary breakpoint on the current source line, if any.
421 If you use this command in the GUD interaction buffer,
422 it applies to the line where the program last stopped.
423 @end table
424
425 The above commands are common to all supported debuggers. If you are
426 using GDB or (some versions of) DBX, these additional commands are available:
427
428 @table @kbd
429 @item C-c <
430 @kindex C-c < @r{(GUD)}
431 @itemx C-x C-a <
432 @findex gud-up
433 Select the next enclosing stack frame (@code{gud-up}). This is
434 equivalent to the @samp{up} command.
435
436 @item C-c >
437 @kindex C-c > @r{(GUD)}
438 @itemx C-x C-a >
439 @findex gud-down
440 Select the next inner stack frame (@code{gud-down}). This is
441 equivalent to the @samp{down} command.
442 @end table
443
444 If you are using GDB, these additional key bindings are available:
445
446 @table @kbd
447 @item @key{TAB}
448 @kindex TAB @r{(GUD)}
449 @findex gud-gdb-complete-command
450 With GDB, complete a symbol name (@code{gud-gdb-complete-command}).
451 This key is available only in the GUD interaction buffer, and requires
452 GDB versions 4.13 and later.
453
454 @item C-c C-f
455 @kindex C-c C-f @r{(GUD)}
456 @itemx C-x C-a C-f
457 @findex gud-finish
458 Run the program until the selected stack frame returns (or until it
459 stops for some other reason).
460 @end table
461
462 These commands interpret a numeric argument as a repeat count, when
463 that makes sense.
464
465 Because @key{TAB} serves as a completion command, you can't use it to
466 enter a tab as input to the program you are debugging with GDB.
467 Instead, type @kbd{C-q @key{TAB}} to enter a tab.
468
469 @node GUD Customization
470 @subsection GUD Customization
471
472 @vindex gdb-mode-hook
473 @vindex dbx-mode-hook
474 @vindex sdb-mode-hook
475 @vindex xdb-mode-hook
476 @vindex perldb-mode-hook
477 @vindex pdb-mode-hook
478 @vindex jdb-mode-hook
479 On startup, GUD runs one of the following hooks: @code{gdb-mode-hook},
480 if you are using GDB; @code{dbx-mode-hook}, if you are using DBX;
481 @code{sdb-mode-hook}, if you are using SDB; @code{xdb-mode-hook}, if you
482 are using XDB; @code{perldb-mode-hook}, for Perl debugging mode;
483 @code{jdb-mode-hook}, for PDB; @code{jdb-mode-hook}, for JDB. You can
484 use these hooks to define custom key bindings for the debugger
485 interaction buffer. @xref{Hooks}.
486
487 Here is a convenient way to define a command that sends a particular
488 command string to the debugger, and set up a key binding for it in the
489 debugger interaction buffer:
490
491 @findex gud-def
492 @example
493 (gud-def @var{function} @var{cmdstring} @var{binding} @var{docstring})
494 @end example
495
496 This defines a command named @var{function} which sends
497 @var{cmdstring} to the debugger process, and gives it the documentation
498 string @var{docstring}. You can use the command thus defined in any
499 buffer. If @var{binding} is non-@code{nil}, @code{gud-def} also binds
500 the command to @kbd{C-c @var{binding}} in the GUD buffer's mode and to
501 @kbd{C-x C-a @var{binding}} generally.
502
503 The command string @var{cmdstring} may contain certain
504 @samp{%}-sequences that stand for data to be filled in at the time
505 @var{function} is called:
506
507 @table @samp
508 @item %f
509 The name of the current source file. If the current buffer is the GUD
510 buffer, then the ``current source file'' is the file that the program
511 stopped in.
512 @c This said, ``the name of the file the program counter was in at the last breakpoint.''
513 @c But I suspect it is really the last stop file.
514
515 @item %l
516 The number of the current source line. If the current buffer is the GUD
517 buffer, then the ``current source line'' is the line that the program
518 stopped in.
519
520 @item %e
521 The text of the C lvalue or function-call expression at or adjacent to point.
522
523 @item %a
524 The text of the hexadecimal address at or adjacent to point.
525
526 @item %p
527 The numeric argument of the called function, as a decimal number. If
528 the command is used without a numeric argument, @samp{%p} stands for the
529 empty string.
530
531 If you don't use @samp{%p} in the command string, the command you define
532 ignores any numeric argument.
533 @end table
534
535 @node GUD Tooltips
536 @subsection GUD Tooltips
537
538 @cindex tooltips with GUD
539 The Tooltip facility (@pxref{Tooltips}) provides support for GUD@. If
540 GUD support is activated by customizing the @code{tooltip} group,
541 variable values can be displayed in tooltips by pointing at them with
542 the mouse in the GUD buffer or in source buffers with major modes in the
543 customizable list @code{tooltip-gud-modes}.
544
545 @node Executing Lisp
546 @section Executing Lisp Expressions
547
548 Emacs has several different major modes for Lisp and Scheme. They are
549 the same in terms of editing commands, but differ in the commands for
550 executing Lisp expressions. Each mode has its own purpose.
551
552 @table @asis
553 @item Emacs-Lisp mode
554 The mode for editing source files of programs to run in Emacs Lisp.
555 This mode defines @kbd{C-M-x} to evaluate the current defun.
556 @xref{Lisp Libraries}.
557 @item Lisp Interaction mode
558 The mode for an interactive session with Emacs Lisp. It defines
559 @kbd{C-j} to evaluate the sexp before point and insert its value in the
560 buffer. @xref{Lisp Interaction}.
561 @item Lisp mode
562 The mode for editing source files of programs that run in Lisps other
563 than Emacs Lisp. This mode defines @kbd{C-M-x} to send the current defun
564 to an inferior Lisp process. @xref{External Lisp}.
565 @item Inferior Lisp mode
566 The mode for an interactive session with an inferior Lisp process.
567 This mode combines the special features of Lisp mode and Shell mode
568 (@pxref{Shell Mode}).
569 @item Scheme mode
570 Like Lisp mode but for Scheme programs.
571 @item Inferior Scheme mode
572 The mode for an interactive session with an inferior Scheme process.
573 @end table
574
575 Most editing commands for working with Lisp programs are in fact
576 available globally. @xref{Programs}.
577
578 @node Lisp Libraries
579 @section Libraries of Lisp Code for Emacs
580 @cindex libraries
581 @cindex loading Lisp code
582
583 Lisp code for Emacs editing commands is stored in files whose names
584 conventionally end in @file{.el}. This ending tells Emacs to edit them in
585 Emacs-Lisp mode (@pxref{Executing Lisp}).
586
587 @findex load-file
588 To execute a file of Emacs Lisp code, use @kbd{M-x load-file}. This
589 command reads a file name using the minibuffer and then executes the
590 contents of that file as Lisp code. It is not necessary to visit the
591 file first; in any case, this command reads the file as found on disk,
592 not text in an Emacs buffer.
593
594 @findex load
595 @findex load-library
596 Once a file of Lisp code is installed in the Emacs Lisp library
597 directories, users can load it using @kbd{M-x load-library}. Programs can
598 load it by calling @code{load-library}, or with @code{load}, a more primitive
599 function that is similar but accepts some additional arguments.
600
601 @kbd{M-x load-library} differs from @kbd{M-x load-file} in that it
602 searches a sequence of directories and tries three file names in each
603 directory. Suppose your argument is @var{lib}; the three names are
604 @file{@var{lib}.elc}, @file{@var{lib}.el}, and lastly just
605 @file{@var{lib}}. If @file{@var{lib}.elc} exists, it is by convention
606 the result of compiling @file{@var{lib}.el}; it is better to load the
607 compiled file, since it will load and run faster.
608
609 If @code{load-library} finds that @file{@var{lib}.el} is newer than
610 @file{@var{lib}.elc} file, it prints a warning, because it's likely that
611 somebody made changes to the @file{.el} file and forgot to recompile
612 it.
613
614 Because the argument to @code{load-library} is usually not in itself
615 a valid file name, file name completion is not available. Indeed, when
616 using this command, you usually do not know exactly what file name
617 will be used.
618
619 @vindex load-path
620 The sequence of directories searched by @kbd{M-x load-library} is
621 specified by the variable @code{load-path}, a list of strings that are
622 directory names. The default value of the list contains the directory where
623 the Lisp code for Emacs itself is stored. If you have libraries of
624 your own, put them in a single directory and add that directory
625 to @code{load-path}. @code{nil} in this list stands for the current default
626 directory, but it is probably not a good idea to put @code{nil} in the
627 list. If you find yourself wishing that @code{nil} were in the list,
628 most likely what you really want to do is use @kbd{M-x load-file}
629 this once.
630
631 @cindex autoload
632 Often you do not have to give any command to load a library, because
633 the commands defined in the library are set up to @dfn{autoload} that
634 library. Trying to run any of those commands calls @code{load} to load
635 the library; this replaces the autoload definitions with the real ones
636 from the library.
637
638 @cindex byte code
639 Emacs Lisp code can be compiled into byte-code which loads faster,
640 takes up less space when loaded, and executes faster. @xref{Byte
641 Compilation,, Byte Compilation, elisp, the Emacs Lisp Reference Manual}.
642 By convention, the compiled code for a library goes in a separate file
643 whose name consists of the library source file with @samp{c} appended.
644 Thus, the compiled code for @file{foo.el} goes in @file{foo.elc}.
645 That's why @code{load-library} searches for @samp{.elc} files first.
646
647 @node Lisp Eval
648 @section Evaluating Emacs-Lisp Expressions
649 @cindex Emacs-Lisp mode
650 @cindex mode, Emacs-Lisp
651
652 @findex emacs-lisp-mode
653 Lisp programs intended to be run in Emacs should be edited in
654 Emacs-Lisp mode; this happens automatically for file names ending in
655 @file{.el}. By contrast, Lisp mode itself is used for editing Lisp
656 programs intended for other Lisp systems. To switch to Emacs-Lisp mode
657 explicitly, use the command @kbd{M-x emacs-lisp-mode}.
658
659 For testing of Lisp programs to run in Emacs, it is often useful to
660 evaluate part of the program as it is found in the Emacs buffer. For
661 example, after changing the text of a Lisp function definition,
662 evaluating the definition installs the change for future calls to the
663 function. Evaluation of Lisp expressions is also useful in any kind of
664 editing, for invoking noninteractive functions (functions that are
665 not commands).
666
667 @table @kbd
668 @item M-:
669 Read a single Lisp expression in the minibuffer, evaluate it, and print
670 the value in the echo area (@code{eval-expression}).
671 @item C-x C-e
672 Evaluate the Lisp expression before point, and print the value in the
673 echo area (@code{eval-last-sexp}).
674 @item C-M-x
675 Evaluate the defun containing or after point, and print the value in
676 the echo area (@code{eval-defun}).
677 @item M-x eval-region
678 Evaluate all the Lisp expressions in the region.
679 @item M-x eval-current-buffer
680 Evaluate all the Lisp expressions in the buffer.
681 @end table
682
683 @kindex M-:
684 @findex eval-expression
685 @kbd{M-:} (@code{eval-expression}) is the most basic command for evaluating
686 a Lisp expression interactively. It reads the expression using the
687 minibuffer, so you can execute any expression on a buffer regardless of
688 what the buffer contains. When the expression is evaluated, the current
689 buffer is once again the buffer that was current when @kbd{M-:} was
690 typed.
691
692 @kindex C-M-x @r{(Emacs-Lisp mode)}
693 @findex eval-defun
694 In Emacs-Lisp mode, the key @kbd{C-M-x} is bound to the command
695 @code{eval-defun}, which parses the defun containing or following point
696 as a Lisp expression and evaluates it. The value is printed in the echo
697 area. This command is convenient for installing in the Lisp environment
698 changes that you have just made in the text of a function definition.
699
700 @kbd{C-M-x} treats @code{defvar} expressions specially. Normally,
701 evaluating a @code{defvar} expression does nothing if the variable it
702 defines already has a value. But @kbd{C-M-x} unconditionally resets the
703 variable to the initial value specified in the @code{defvar} expression.
704 This special feature is convenient for debugging Lisp programs.
705
706 @kindex C-x C-e
707 @findex eval-last-sexp
708 The command @kbd{C-x C-e} (@code{eval-last-sexp}) evaluates the Lisp
709 expression preceding point in the buffer, and displays the value in the
710 echo area. It is available in all major modes, not just Emacs-Lisp
711 mode. It does not treat @code{defvar} specially.
712
713 If @kbd{C-M-x}, @kbd{C-x C-e}, or @kbd{M-:} is given a numeric
714 argument, it inserts the value into the current buffer at point, rather
715 than displaying it in the echo area. The argument's value does not
716 matter.
717
718 @findex eval-region
719 @findex eval-current-buffer
720 The most general command for evaluating Lisp expressions from a buffer
721 is @code{eval-region}. @kbd{M-x eval-region} parses the text of the
722 region as one or more Lisp expressions, evaluating them one by one.
723 @kbd{M-x eval-current-buffer} is similar but evaluates the entire
724 buffer. This is a reasonable way to install the contents of a file of
725 Lisp code that you are just ready to test. Later, as you find bugs and
726 change individual functions, use @kbd{C-M-x} on each function that you
727 change. This keeps the Lisp world in step with the source file.
728
729 @node Lisp Interaction
730 @section Lisp Interaction Buffers
731
732 The buffer @samp{*scratch*} which is selected when Emacs starts up is
733 provided for evaluating Lisp expressions interactively inside Emacs.
734
735 The simplest way to use the @samp{*scratch*} buffer is to insert Lisp
736 expressions and type @kbd{C-j} after each expression. This command
737 reads the Lisp expression before point, evaluates it, and inserts the
738 value in printed representation before point. The result is a complete
739 typescript of the expressions you have evaluated and their values.
740
741 The @samp{*scratch*} buffer's major mode is Lisp Interaction mode, which
742 is the same as Emacs-Lisp mode except for the binding of @kbd{C-j}.
743
744 @findex lisp-interaction-mode
745 The rationale for this feature is that Emacs must have a buffer when
746 it starts up, but that buffer is not useful for editing files since a
747 new buffer is made for every file that you visit. The Lisp interpreter
748 typescript is the most useful thing I can think of for the initial
749 buffer to do. Type @kbd{M-x lisp-interaction-mode} to put the current
750 buffer in Lisp Interaction mode.
751
752 @findex ielm
753 An alternative way of evaluating Emacs Lisp expressions interactively
754 is to use Inferior Emacs-Lisp mode, which provides an interface rather
755 like Shell mode (@pxref{Shell Mode}) for evaluating Emacs Lisp
756 expressions. Type @kbd{M-x ielm} to create an @samp{*ielm*} buffer
757 which uses this mode.
758
759 @node External Lisp
760 @section Running an External Lisp
761
762 Emacs has facilities for running programs in other Lisp systems. You can
763 run a Lisp process as an inferior of Emacs, and pass expressions to it to
764 be evaluated. You can also pass changed function definitions directly from
765 the Emacs buffers in which you edit the Lisp programs to the inferior Lisp
766 process.
767
768 @findex run-lisp
769 @vindex inferior-lisp-program
770 @kindex C-x C-z
771 To run an inferior Lisp process, type @kbd{M-x run-lisp}. This runs
772 the program named @code{lisp}, the same program you would run by typing
773 @code{lisp} as a shell command, with both input and output going through
774 an Emacs buffer named @samp{*lisp*}. That is to say, any ``terminal
775 output'' from Lisp will go into the buffer, advancing point, and any
776 ``terminal input'' for Lisp comes from text in the buffer. (You can
777 change the name of the Lisp executable file by setting the variable
778 @code{inferior-lisp-program}.)
779
780 To give input to Lisp, go to the end of the buffer and type the input,
781 terminated by @key{RET}. The @samp{*lisp*} buffer is in Inferior Lisp
782 mode, which combines the special characteristics of Lisp mode with most
783 of the features of Shell mode (@pxref{Shell Mode}). The definition of
784 @key{RET} to send a line to a subprocess is one of the features of Shell
785 mode.
786
787 @findex lisp-mode
788 For the source files of programs to run in external Lisps, use Lisp
789 mode. This mode can be selected with @kbd{M-x lisp-mode}, and is used
790 automatically for files whose names end in @file{.l}, @file{.lsp}, or
791 @file{.lisp}, as most Lisp systems usually expect.
792
793 @kindex C-M-x @r{(Lisp mode)}
794 @findex lisp-eval-defun
795 When you edit a function in a Lisp program you are running, the easiest
796 way to send the changed definition to the inferior Lisp process is the key
797 @kbd{C-M-x}. In Lisp mode, this runs the function @code{lisp-eval-defun},
798 which finds the defun around or following point and sends it as input to
799 the Lisp process. (Emacs can send input to any inferior process regardless
800 of what buffer is current.)
801
802 Contrast the meanings of @kbd{C-M-x} in Lisp mode (for editing programs
803 to be run in another Lisp system) and Emacs-Lisp mode (for editing Lisp
804 programs to be run in Emacs): in both modes it has the effect of installing
805 the function definition that point is in, but the way of doing so is
806 different according to where the relevant Lisp environment is found.
807 @xref{Executing Lisp}.