9 How to Setup all Features of ALLPROSE

• ALLPROSE relies on the environment variable ALDORROOT which should point to the installation of Aldor, see Section 29.1.
• ALLPROSE builds its functionality on some external programs, see Section 29.2.
• The standard LATEX packages that are used by ALLPROSE are described in Section 24.3.
• Additional LaTeX packages should be put into an extra directory, ˜/texpkg, say. The environment variable TEXINPUTS has to reflect the fact that there are additional packages. How you set this variable, depends on your shell. For bash it is:

  export TEXINPUTS=~/texpkg:$TEXINPUTS

  All those additional packages are available at http://www.hemmecke.de/aldor.

  • The rhxterm LATEX package by Ralf Hemmecke is needed in version 1.10 or higher, see Section 24.3.4.
  • The framed LATEX package by Donald Arseneau is needed in version 0.8a in order to get colored backgrounds, see Section 24.7. This package is optional.
  • The srcltx LATEX package originally written by Aleksander Simonic and currently maintained by Stefan Ulrich is needed in version 1.4 or 1.5 for inverse search, see Section 24.3.9. This package is optional.

The following libraries and packages are optional.

• ExtIO and AldorUnit: They are needed, however, for running the testsuite (make check), see Section 9.2.
• The GMP (GNU multiprecision) package for enhancing integer arithmetic: Section 9.1.
• Emacs related stuff:
  • There is an aldor-mode for Emacs and XEmacs, see Section 9.3.1.
  • Setup mmm-mode for Emacs for convenient editing of .nw files, see Section 9.3.2.
  • Remarks to error search support in Emacs can be found in Section 9.3.3.