X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_install.xml;h=44e46b7fcfb93f0ffa9dd70378df533606464bac;hb=b49683e0bc65391911be8b1e648ddb1ec61665b9;hp=70bd903ccaa85edade8f6ac561f02a5e6977f15d;hpb=15c934f9c0bd20f8e6437f733cc96b39c862b49d;p=helm.git
diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 70bd903cc..44e46b7fc 100644
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -54,8 +54,8 @@
you can have APT install all the required tools and libraries by
adding the following repository to your
/etc/apt/sources.list:
- deb http://people.debian.org/~zack unstable helm
+ deb http://people.debian.org/~zack unstable helm
and installing the
helm-matita-deps package.
@@ -202,7 +202,7 @@
ulex
+ url="http://www.cduce.org/download.html">ulex
@@ -213,7 +213,7 @@
CamlZip
+ url="http://cristal.inria.fr/~xleroy/software.html">CamlZip
@@ -274,57 +274,60 @@
Quite a few (optional) arguments may be passed to the
configure command line to change build time
- parameters. They are listed in the table below, together with their
- default values.
+ parameters. They are listed below, together with their
+ default values:
-
+
configure command line
arguments
-
-
-
- Argument
- Default
- Description
-
-
-
-
-
- --with-runtime-dir=dir
-
- /usr/local/matita/
- Runtime base directory where all &appname; stuff
- (executables, configuration files, standard
- library, ...) will be installed
-
-
-
- --with-dbhost=host
-
- localhost
- 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.
-
-
- --enable-debug
- disabled
- Enable debugging code. Not for the casual user.
-
-
-
-
-
-
+
+
+ --with-runtime-dir=dir
+
+
+
+ (Default:
+ /usr/local/matita) Runtime base directory
+ where all &appname; stuff (executables, configuration files,
+ standard library, ...) will be installed
+
+
+
+
+
+
+ --with-dbhost=host
+
+
+
+ (Default: localhost) 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.
+
+
+
+
+
+
+ --enable-debug
+
+
+
+ (Default: disabled) Enable debugging code.
+ Not for the casual user.
+
+
+
+
Then you will manage the build and install process using
make
as usual. Below are reported the targets you have to invoke in sequence
- to build and install.
+ to build and install:
+
make targets
@@ -333,38 +336,42 @@
world
builds components needed by &appname; and &appname; itself
- (in bytecode only or in both bytecode and native code depending
+ (in bytecode or native code depending
on the availability of the OCaml native code compiler)
- library
+ install
- uses the (just built) matitac
- compiler to build the &appname; standard library.
+ installs &appname; related tools, standard library and the
+ needed runtime stuff in the proper places on the filesystem.
+
+ As a part of the installation process the &appname;
+ standard library will be compiled, thus testing that the just
+ built matitac compiler works
+ properly.
For this step you will need a working SQL database (for
indexing the standard library while you are compiling it). See
Database setup
- for instructions on how to set it up.
-
-
-
-
- install
-
- installs &appname; related tools, standard library and the
- needed runtime stuff in the proper places on the filesystem
+ for instructions on how to set it up.
-
-
+
+
+ Configuring Matita
+
+ The file matita.conf.xml...
+ &TODO;
+
+
+