- <tgroup cols="3" align="left" colsep="1" rowsep="1">
- <thead>
- <row>
- <entry align="center">Argument</entry>
- <entry align="center">Default</entry>
- <entry align="center">Description</entry>
- </row>
- </thead>
- <tbody>
- <row>
- <entry>
- <userinput>--with-runtime-dir=<replaceable>dir</replaceable></userinput>
- </entry>
- <entry> <filename>/usr/local/matita/</filename> </entry>
- <entry> <para> Runtime base directory where all &appname; stuff
- (executables, configuration files, standard
- library, ...) will be installed </para> </entry>
- </row>
- <row>
- <entry>
- <userinput>--with-dbhost=<replaceable>host</replaceable></userinput>
- </entry>
- <entry> localhost </entry>
- <entry> <para>Default SQL server hostname. Will be used while
- building the standard library during the installation and to
- create the default &appname; configuration. May be changed
- later in configuration file.</para></entry>
- </row>
- <row>
- <entry> <userinput>--enable-debug</userinput></entry>
- <entry> disabled </entry>
- <entry> <para> Enable debugging code. Not for the casual user.
- </para> </entry>
- </row>
- </tbody>
- </tgroup>
- </table>