you can have APT install all the required tools and libraries by
adding the following repository to your
<filename>/etc/apt/sources.list</filename>: <programlisting>
- deb <ulink type="http"
- url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink> unstable helm
+ deb <ulink type="http"
+ url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink> unstable helm
</programlisting> and installing the
<application>helm-matita-deps</application> package.</para>
<varlistentry>
<term>
<application> <ulink type="http"
- url="http://www.cduce.org/download.html#side">ulex</ulink>
+ url="http://www.cduce.org/download.html">ulex</ulink>
</application>
</term>
<listitem>
<varlistentry>
<term>
<application> <ulink type="http"
- url="http://cristal.inria.fr/~xleroy/software.html#camlzip">CamlZip</ulink>
+ url="http://cristal.inria.fr/~xleroy/software.html">CamlZip</ulink>
</application>
</term>
<listitem>
<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>
+ library, ...) will be installed </para> </entry>
</row>
<row>
<entry>
</listitem>
</varlistentry>
- <varlistentry>
- <term><userinput>library</userinput></term>
- <listitem>
- <para>uses the (just built) <application>matitac</application>
- compiler to build the &appname; standard library. </para>
- </listitem>
- </varlistentry>
-
<varlistentry>
<term><userinput>install</userinput></term>
<listitem>
<para>installs &appname; related tools, standard library and the
- needed runtime stuff in the proper places on the filesystem
+ needed runtime stuff in the proper places on the filesystem.
</para>
+ <para>As a part of the installation process the &appname;
+ standard library will be compiled, thus testing that the just
+ built <application>matitac</application> compiler works
+ properly.</para>
<para>For this step you will need a working SQL database (for
indexing the standard library while you are compiling it). See
<ulink type="http" url="#database_setup">Database setup</ulink>