X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=44e46b7fcfb93f0ffa9dd70378df533606464bac;hb=06a19bec47845ecffe3bf9d9a95d3d4dadf76861;hp=308bf02fa3a4afa71a628944903dfe551fa5fd8b;hpb=1da3c8d481853c3d6b9f33385ebde848866a37b5;p=helm.git
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 308bf02fa..44e46b7fc 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -1,27 +1,377 @@
-
+
Installation
-
- Installing &appname; from sources
+
+ Installing from sources
Currently, the only intended way to install &appname; is starting
from its source code.
-
+
Getting the source code
You can get the &appname; source code in two ways:
- foo
- bar
+
+ go to the download
+ page and get the latest released source tarball;
+
+ get the development sources from our
+ SVN repository. You will need the
+ components/ and
+ matita/ directories from the
+ trunk/helm/software/ directory, plus the
+ configure and Makefile*
+ stuff from the same directory.
+
+ In this case you will need to run
+ autoconf before proceding with the building
+ instructions below.
+
-
+
+
+
+ Requirements
+
+ In order to build &appname; from sources you will need some
+ tools and libraries. They are listed below.
+
+
+ Note for Debian users
+
+ If you are running a Debian GNU/Linux distribution
+ 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
+ and installing the
+ helm-matita-deps package.
+
+
+
+
+ Required tools and libraries
+
+
+
+ OCaml
+
+
+ the Objective Caml compiler, version 3.09 or above
+
+
+
+
+
+ Findlib
+
+
+
+ OCaml package manager, version 1.1.1 or above
+
+
+
+
+
+ OCaml
+ Expat
+
+
+ OCaml bindings for the expat
+ library
+
+
+
+
+
+ GMetaDOM
+
+
+
+ OCaml bindings for the Gdome 2
+ library
+
+
+
+
+
+ OCaml
+ HTTP
+
+
+ OCaml library to write HTTP daemons (and clients)
+
+
+
+
+
+ LablGTK
+
+
+
+ OCaml bindings for the GTK+ library
+ , version 2.6.0 or above
+
+
+
+
+
+ GtkMathView
+
+
+
+ LablGtkMathView
+
+
+
+ GTK+ widget to render MathML documents and its
+ OCaml bindings
+
+
+
+
+
+ GtkSourceView
+
+
+
+ LablGtkSourceView
+
+
+
+ extension for the GTK+ text widget (adding the typical
+ features of source code editors) and its OCaml bindings
+
+
+
+
+ &MYSQL;
+
+ OCaml
+ MySQL
+
+
+ SQL database and OCaml bindings for its client-side library
+
+ The SQL database itself is not strictly needed to run
+ &appname;, but we stronly encourage its use since a lot of
+ features are disabled without it. Still, the OCaml bindings of
+ the library are needed at compile time.
+
+
+
+
+
+ Ocamlnet
+
+
+
+ collection of OCaml libraries to deal with
+ application-level Internet protocols and conventions
+
+
+
+
+
+ ulex
+
+
+
+ Unicode lexer generator for OCaml
+
+
+
+
+
+ CamlZip
+
+
+
+ OCaml library to access .gz files
+
+
+
+
+
+
+
+
+
+ Database setup
+
+ To fully exploit &appname; indexing and search capabilities you
+ will need a working &MYSQL; database. Detalied instructions on how to do
+ it can be found in the MySQL documentation. Here you
+ can find a quick howto.
+
+ In order to create a database you need administrator permissions on
+ your MySQL installation, usually the root account has them. Once you
+ have the permissions, a new database can be created executing
+ mysqladmin create matita
+ (matita is the default database name, you can
+ change it using the db.user key of the
+ configuration file).
+
+ Then you need to grant the necessary access permissions to the
+ database user of &appname;, typing echo "grant all privileges
+ on matita.* to helm;" | mysql matita should do the trick
+ (helm is the default user name used by &appname; to
+ access the database, you can change it using the
+ db.user key of the configuration file).
+
+
+
+ This way you create a database named matita
+ on which anyone claiming to be the helm user can
+ do everything (like adding dummy data or destroying the contained
+ one). It is strongly suggested to apply more fine grained permissions,
+ how to do it is out of the scope of this manual.
+
+
+
+
+
+ Compiling and installing
+
+ Once you get the source code the installations steps should be
+ quite familiar.
+
+ First of all you need to configure the build process executing
+ ./configure. This will check that all needed
+ tools and library are installed and prepare the sources for compilation
+ and installation.
+
+ Quite a few (optional) arguments may be passed to the
+ configure command line to change build time
+ parameters. They are listed below, together with their
+ default values:
+
+
+ configure command line
+ arguments
+
+
+
+ --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:
+
+
+
+ make targets
+
+
+ world
+
+ builds components needed by &appname; and &appname; itself
+ (in bytecode or native code depending
+ on the availability of the OCaml native code compiler)
+
+
+
+
+ install
+
+ 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.
+
+
+
+
+
+
+
+
+
+
+
+ Configuring Matita
+
+ The file matita.conf.xml...
+ &TODO;
+
+
-
-
+