X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Fsec_install.html;fp=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Fsec_install.html;h=ee936105126b6f83e9048faaf53626db46cf705d;hb=f64e7e9e24f63a926191f08c6e36ef6763718127;hp=6eb21eb3a7e5c5cb26bb51dff1a919bd1c79f3c2;hpb=7e374b23b0990d58217467b73e518e59781cb67d;p=helm.git diff --git a/helm/www/matita/docs/manual/sec_install.html b/helm/www/matita/docs/manual/sec_install.html index 6eb21eb3a..ee9361051 100644 --- a/helm/www/matita/docs/manual/sec_install.html +++ b/helm/www/matita/docs/manual/sec_install.html @@ -1,6 +1,6 @@ -Chapter 2. Installation
Chapter 2. Installation
Prev   Next

Chapter 2. Installation

Table of Contents

Installing from sources
Getting the source code
Requirements
Database setup
Compiling and installing

Installing from sources

Currently, the only intended way to install Matita is starting +Chapter 2. Installation

Chapter 2. Installation
Prev   Next

Chapter 2. Installation

Table of Contents

Installing from sources
Getting the source code
Requirements
Database setup
Compiling and installing

Installing from sources

Currently, the only intended way to install Matita is starting from its source code.

Getting the source code

You can get the Matita source code in two ways:

  1. go to the download page and get the latest released source tarball;

  2. get the development sources from our @@ -103,7 +103,7 @@ parameters. They are listed in the table below, together with their default values. -

    Table 2.1.  configure command line +

    Table 2.1.  configure command line arguments

    ArgumentDefaultDescription
    --with-runtime-dir=dir /usr/local/matita/

    Runtime base directory where all Matita stuff