comparison doc/manual.tex @ 1441:8524a1709821

'--without-emacs' configure option
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Mar 2011 13:47:39 -0400
parents 3dab4696d116
children bd6b03bc6333
comparison
equal deleted inserted replaced
1440:6064ddd90ca6 1441:8524a1709821
82 To use the Emacs mode, you must have a modern Emacs installed. We assume that you already know how to do this, if you're in the business of looking for an Emacs mode. The demo generation facility of the compiler will also call out to Emacs to syntax-highlight code, and that process depends on the \texttt{htmlize} module, which can be installed in Debian testing via: 82 To use the Emacs mode, you must have a modern Emacs installed. We assume that you already know how to do this, if you're in the business of looking for an Emacs mode. The demo generation facility of the compiler will also call out to Emacs to syntax-highlight code, and that process depends on the \texttt{htmlize} module, which can be installed in Debian testing via:
83 83
84 \begin{verbatim} 84 \begin{verbatim}
85 apt-get install emacs-goodies-el 85 apt-get install emacs-goodies-el
86 \end{verbatim} 86 \end{verbatim}
87
88 If you don't want to install the Emacs mode, run \texttt{./configure} with the argument \texttt{--without-emacs}.
87 89
88 Even with the right packages installed, configuration and building might fail to work. After you run \texttt{./configure}, you will see the values of some named environment variables printed. You may need to adjust these values to get proper installation for your system. To change a value, store your preferred alternative in the corresponding UNIX environment variable, before running \texttt{./configure}. For instance, here is how to change the list of extra arguments that the Ur/Web compiler will pass to GCC on every invocation. 90 Even with the right packages installed, configuration and building might fail to work. After you run \texttt{./configure}, you will see the values of some named environment variables printed. You may need to adjust these values to get proper installation for your system. To change a value, store your preferred alternative in the corresponding UNIX environment variable, before running \texttt{./configure}. For instance, here is how to change the list of extra arguments that the Ur/Web compiler will pass to GCC on every invocation.
89 91
90 \begin{verbatim} 92 \begin{verbatim}
91 GCCARGS=-fnested-functions ./configure 93 GCCARGS=-fnested-functions ./configure