comparison doc/manual.tex @ 1368:b2bc8bcd546f

Switch from libmhash to OpenSSL
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 11:13:37 -0500
parents 32c8a3509369
children 44a12a321150
comparison
equal deleted inserted replaced
1367:8301ee4ab58c 1368:b2bc8bcd546f
54 ./configure 54 ./configure
55 make 55 make
56 sudo make install 56 sudo make install
57 \end{verbatim} 57 \end{verbatim}
58 58
59 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 in your execution path; MLton, the whole-program optimizing compiler for Standard ML; and the mhash C library. As of this writing, in the ``testing'' version of Debian Linux, this command will install the more uncommon of these dependencies: 59 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 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:
60 \begin{verbatim} 60 \begin{verbatim}
61 apt-get install mlton libmhash-dev 61 apt-get install mlton libssl-dev
62 \end{verbatim} 62 \end{verbatim}
63 63
64 To build programs that access SQL databases, you also need one of these client libraries for supported backends. 64 To build programs that access SQL databases, you also need one of these client libraries for supported backends.
65 \begin{verbatim} 65 \begin{verbatim}
66 apt-get install libpq-dev libmysqlclient15-dev libsqlite3-dev 66 apt-get install libpq-dev libmysqlclient15-dev libsqlite3-dev