| 18 Installation |
| 18.2 Windows |
|
| |||||
| 18.1 Unix and Linux | ||||||
We assume you already have emacs installed. If you haven't, then rsltc just runs from the command line and there is nothing to do beyond installing the executable.
The files
rsl-mode.el rsltc.el rslconvert.el tokenise.el
should be placed in a directory on your emacs load-path. Byte-compile them if you wish.
The files
rslenv.sty boxedminipage.sty
should be placed where LaTeX will find them. If you or your system administrator don't know how to do that, then put them in the same directory as your LaTeX source. (You may already have boxedminipage.sty.)
rslml.cm rslml.sml
should be placed anywhere you like. Make sure that whoever first runs SML on an sml file produced from RSL has write access to the directory, as the first load will compile the RSL library.
You also need to set the environment variable RSLML_PATH to the
directory containing them, e.g. /usr/local/sml/rslml. You can
get your system administrator to set this up, or you can do it
individually as follows. Use the shell command
env | grep SHELL
to see what your login shell is: you should get something like
SHELL=/bin/csh, showing it is csh, or some variant of it, or
SHELL=/bin/bash, showing it is bash. In the first case, edit
your .cshrc file in your home directory to include something
like
setenv RSLML_PATH /usr/local/sml/rslml
In the second case, edit your .bash_profile file in your home
directory to include something like
export RSLML_PATH=/usr/local/sml/rslml
In either case you will need to logout and login again for the
environment variable RSLML_PATH to be set.
SML can be downloaded and unpacked from instructions and tar files obtainable from http://www.smlnj.org.
The files
RSL_comp.h RSL_list.cc RSL_list.h RSL_map.cc RSL_map.h RSL_prod.h RSL_set.cc RSL_set.h RSL_text.h RSL_typs.cc RSL_typs.h cpp_RSL.cc cpp_RSL.h cpp_io.cc cpp_io.h cpp_list.cc cpp_list.h cpp_map.h cpp_set.cc cpp_set.hshould be placed in a directory, and the file
rslcomp edited to
set CPP_DIR to that directory.
Put rslcomp somewhere on your path, and make it executable.
vcg.1.30.r3.17.tar.gz, supplied with rsltc.
The executable is called xvcg and should be installed somewhere
on your path.
If rsltc and xvcg are not on your path, you can put the full names in
rsltc.el by changing the definitions of rsltc-command and
vcg-command respectively.
See section 12.4.
| 18.1 Unix and Linux | ||||||
|
| |||||