Go to the previous, next section.

Installation and Customization

Installation is accomplished with the help of Autoconf. Unpack the original compressed distribution file `tla-mode-0.4.tar.gz' with GNU zip. If you also have GNU tar (version 1.11.1 or later), you could do the following:

gnutar xvzpf tla-mode-0.4.tar.gz

Otherwise, you could use:

gunzip -c tla-mode-0.4.tar.gz | tar xvf -

Type `./configure'. This will produce the Makefile including system-dependent variables and functions. For more details refer to the `INSTALL' file in the distribution directory.
If there is more than one flavor of Emacs on your system, you should check the Makefile and set the value of the variable EMACS accordingly. Type make. This produces the utilities needed for the documentation.
You probably need to change tla-command-list to make sure that the various tools at your site can be invoked from within Emacs. This is also the right place to account for the support of different variants. The standard installation shows how to do that.
Lisp code will normally go into `/usr/local/lib/emacs/site-lisp'. Change the Makefile if necessary. Type make install to byte-compile the Lisp files. Lisp and info files will then be installed in their respective directories. Update the `dir' in the info directory (normally `/usr/local/info') with an entry like this:
```
* TLA+:	    (tla-mode).	Major mode for editing TLA-based specifications
```
If you use an unusual directory for the compiled Lisp code, users should enhance their load-path by modifying `~/.emacs':
```
(setq load-path (append load-path (list "/dir/with/lisp-code")))
```
In order to let Emacs automatically switch to tla-mode when a file with appropriate extension (.t or .t+) is visited, users should put the following code into `~/.emacs':
```
(require 'tla-mode)

(setq auto-mode-alist
      (append '(("\\.t$" . tla-mode))
 auto-mode-alist))
```

This completes the installation. Please report encountered bugs.

Go to the previous, next section.