summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2018-12-19 11:38:46 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2018-12-19 11:38:46 -0500
commitffcf765623b2da7ca330916eda404ac210eb513e (patch)
treed1ee8350022e9de39df79cc11e1846b583324b1c
parentfdd3695f9d4f754417da10018b260006e69b0e34 (diff)
Follow-up to #146: update documentation
-rw-r--r--demo/prose3
-rw-r--r--doc/manual.tex4
2 files changed, 4 insertions, 3 deletions
diff --git a/demo/prose b/demo/prose
index ce12aba1..75c80169 100644
--- a/demo/prose
+++ b/demo/prose
@@ -5,12 +5,13 @@
<h6>Install System Dependencies</h6>
<p>
-<blockquote><pre>sudo apt-get install build-essential \
+<blockquote><pre>sudo apt install build-essential \
emacs-goodies-el \
libgmp-dev \
libssl-dev \
libpq-dev \
libsqlite3-dev \
+ libicu-dev \
mlton \
sqlite3</blockquote></pre></p>
diff --git a/doc/manual.tex b/doc/manual.tex
index e064e59e..59727099 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -59,9 +59,9 @@ make
sudo make install
\end{verbatim}
-Some other packages must be installed for the above to work. At a minimum, you need a standard UNIX shell, with standard UNIX tools like sed and GCC (or an alternate C compiler) in your execution path; MLton, the whole-program optimizing compiler for Standard ML; and the development files for the OpenSSL C library. As of this writing, in the ``testing'' version of Debian Linux, this command will install the more uncommon of these dependencies:
+Some other packages must be installed for the above to work. At a minimum, you need a standard UNIX shell, with standard UNIX tools like sed and GCC (or an alternate C compiler) in your execution path; MLton, the whole-program optimizing compiler for Standard ML; and the development files for the OpenSSL C library and the ICU C library. As of this writing, in the ``testing'' version of Debian Linux, this command will install the more uncommon of these dependencies:
\begin{verbatim}
-apt-get install mlton libssl-dev
+apt-get install mlton libssl-dev libicu-dev
\end{verbatim}
Note that, like the Ur/Web compiler, MLton is a whole-program optimizing compiler, so it frequently requires much more memory than old-fashioned compilers do. Expect building Ur/Web with MLton to require not much less than a gigabyte of RAM. If a \texttt{mlton} invocation ends suspiciously, the most likely explanation is that it has exhausted available memory.