diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-12-19 11:38:46 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-12-19 11:38:46 -0500 |
| commit | ffcf765623b2da7ca330916eda404ac210eb513e (patch) | |
| tree | d1ee8350022e9de39df79cc11e1846b583324b1c | |
| parent | fdd3695f9d4f754417da10018b260006e69b0e34 (diff) | |
Follow-up to #146: update documentation
| -rw-r--r-- | demo/prose | 3 | ||||
| -rw-r--r-- | doc/manual.tex | 4 |
2 files changed, 4 insertions, 3 deletions
@@ -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. |