X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=44e46b7fcfb93f0ffa9dd70378df533606464bac;hb=36014ac060f150e7d93f607c914a0b06239715c0;hp=38218c190be3496e219eb0f35e0bb333d106575e;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 38218c190..44e46b7fc 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/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
@@ -338,20 +341,16 @@
-
- library
-
- uses the (just built) matitac
- compiler to build the &appname; standard library.
-
-
-
install
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.
+ 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
@@ -361,11 +360,18 @@
-
-
+
+
+ Configuring Matita
+
+ The file matita.conf.xml...
+ &TODO;
+
+
+