Mercurial > urweb
comparison doc/manual.tex @ 1960:93f3e35a7967
Manual: remove database version numbers from Debian package names, where possible
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 18 Jan 2014 08:34:19 -0500 |
| parents | ac1be85e91ad |
| children | 0652f295e0fa |
comparison
equal
deleted
inserted
replaced
| 1959:3cc14f1e47d1 | 1960:93f3e35a7967 |
|---|---|
| 62 apt-get install mlton libssl-dev | 62 apt-get install mlton libssl-dev |
| 63 \end{verbatim} | 63 \end{verbatim} |
| 64 | 64 |
| 65 To build programs that access SQL databases, you also need one of these client libraries for supported backends. | 65 To build programs that access SQL databases, you also need one of these client libraries for supported backends. |
| 66 \begin{verbatim} | 66 \begin{verbatim} |
| 67 apt-get install libpq-dev libmysqlclient15-dev libsqlite3-dev | 67 apt-get install libpq-dev libmysqlclient-dev libsqlite3-dev |
| 68 \end{verbatim} | 68 \end{verbatim} |
| 69 | 69 |
| 70 It is also possible to access the modules of the Ur/Web compiler interactively, within Standard ML of New Jersey. To install the prerequisites in Debian testing: | 70 It is also possible to access the modules of the Ur/Web compiler interactively, within Standard ML of New Jersey. To install the prerequisites in Debian testing: |
| 71 \begin{verbatim} | 71 \begin{verbatim} |
| 72 apt-get install smlnj libsmlnj-smlnj ml-yacc ml-lpt | 72 apt-get install smlnj libsmlnj-smlnj ml-yacc ml-lpt |
| 75 To begin an interactive session with the Ur compiler modules, run \texttt{make smlnj}, and then, from within an \texttt{sml} session, run \texttt{CM.make "src/urweb.cm";}. The \texttt{Compiler} module is the main entry point. | 75 To begin an interactive session with the Ur compiler modules, run \texttt{make smlnj}, and then, from within an \texttt{sml} session, run \texttt{CM.make "src/urweb.cm";}. The \texttt{Compiler} module is the main entry point. |
| 76 | 76 |
| 77 To run an SQL-backed application with a backend besides SQLite, you will probably want to install one of these servers. | 77 To run an SQL-backed application with a backend besides SQLite, you will probably want to install one of these servers. |
| 78 | 78 |
| 79 \begin{verbatim} | 79 \begin{verbatim} |
| 80 apt-get install postgresql-8.4 mysql-server-5.1 | 80 apt-get install postgresql mysql-server |
| 81 \end{verbatim} | 81 \end{verbatim} |
| 82 | 82 |
| 83 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 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: |
| 84 | 84 |
| 85 \begin{verbatim} | 85 \begin{verbatim} |