Go to the previous, next section.
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 -
EMACS
accordingly. Type make. This produces the utilities needed for
the documentation.
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.
* TLA+: (tla-mode). Major mode for editing TLA-based specifications
(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.