# HG changeset patch # User wenzelm # Date 904306814 -7200 # Node ID 2ecb74e654394b1e979817872d8509a486340644 # Parent fde117f1006b000453ae37c93c254d34ca3802fa tuned isatool install; diff -r fde117f1006b -r 2ecb74e65439 doc-src/System/misc.tex --- a/doc-src/System/misc.tex Fri Aug 28 14:18:46 1998 +0200 +++ b/doc-src/System/misc.tex Fri Aug 28 14:20:14 1998 +0200 @@ -113,7 +113,7 @@ \texttt{ISABELLE_PATH} (and also of \texttt{ISABELLE_OUTPUT}). -\section{Installing Isabelle binaries with absolute references -- \texttt{isatool install}} +\section{Installing standalone Isabelle binaries -- \texttt{isatool install}} \label{sec:tool-install} Usually, the Isabelle binaries (\texttt{isabelle}, \texttt{isatool} @@ -126,17 +126,22 @@ Doing a plain copy of the Isabelle executables just would not work, though. One should use the \tooldx{install} utility instead: \begin{ttbox} -Usage: install DIR +Usage: install BINDIR - Install binaries in directory DIR with absolute references to - \$ISABELLE_HOME/bin (non-movable). + Options are: + -d DISTDIR use DISTDIR as Isabelle distribution + (default ISABELLE_HOME) + + Install standalone Isabelle binaries in directory BINDIR with absolute + references to DISTDIR/bin, which becomes non-relocatable this way. \end{ttbox} -The generated executables contain absolute references to -\texttt{ISABELLE_HOME}, as figured out by the \texttt{isatool} -invocation. While the scripts themselves may be relocated afterwards, -they would cease working if the referenced Isabelle distribution is -moved. This is an example use of \texttt{install}: +This installs standalone executables in \texttt{BINDIR} containing +absolute references to \texttt{DISTDIR} (the default is +\texttt{ISABELLE_HOME} as figured out by the current \texttt{isatool} +invocation). While the generated scripts themselves may be relocated +afterwards, they cease working if the referenced Isabelle distribution +is moved somewhere else. Here is an example use of \texttt{install}: \begin{ttbox} isatool install /usr/local/bin \end{ttbox}