librarian.ml: now the read_only .moo's are managed "correctly" (i.e. better than...

[helm.git] / helm / software / matita / dist / INSTALL

diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL
index b1f87880649d9a3e2a888960d4b918b8c0721dd4..2a1533815c40f712f946cba973761cb15b343403 100644 (file)
--- a/helm/software/matita/dist/INSTALL
+++ b/helm/software/matita/dist/INSTALL
@@ -14,9 +14,11 @@ Installing from sources
 
     Getting the source code
     Requirements
-    Database setup
+    (optional) MySQL setup
     Compiling and installing
 
+Configuring Matita
+
 Installing from sources
 
 Currently, the only intended way to install Matita is starting from its source
@@ -40,16 +42,18 @@ Requirements
 In order to build Matita 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:
+Note for Debian (and derivatives) users
 
-              deb http://people.debian.org/~zack unstable helm
+If you are running a Debian GNU/Linux distribution, or any of its derivative
+like Ubuntu, you can use APT to install all the required tools and libraries
+since they are all part of the Debian archive.
 
+apt-get install ocaml ocaml-findlib libgdome2-ocaml-dev liblablgtk2-ocaml-dev
+liblablgtkmathview-ocaml-dev liblablgtksourceview-ocaml-dev
+libsqlite3-ocaml-dev libocamlnet-ocaml-dev libzip-ocaml-dev libhttp-ocaml-dev
+ocaml-ulex08 libexpat-ocaml-dev libmysql-ocaml-dev camlp5
 
-and installing the helm-matita-deps package.
+An official debian package is going to be added to the archive too.
 
 Required tools and libraries
 
@@ -90,9 +94,12 @@ MySQL , OCaml MySQL
 
     SQL database and OCaml bindings for its client-side library
 
-    The SQL database itself is not strictly needed to run Matita, 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.
+    The SQL database itself is not strictly needed to run Matita, but the
+    client libraries are.
+
+Sqlite , OCaml Sqlite3
+
+    Sqlite database and OCaml bindings
 
 Ocamlnet
 
@@ -107,11 +114,11 @@ CamlZip
 
     OCaml library to access .gz files
 
-Database setup
+(optional) MySQL setup
 
-To fully exploit Matita 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.
+To fully exploit Matita indexing and search capabilities on a huge metadata set
+you may 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,
@@ -185,5 +192,5 @@ install
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 
 Prev                                                                       Next
-Matita vs Coq                        Home            Chapter 3. Getting started
+Matita vs Coq                        Home                    Configuring Matita