0.5.1 should be realased soon, the bug that was affecting fixpoints

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

diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL
index dfec3e1410805552404e62730cded8a4a131419e..2a1533815c40f712f946cba973761cb15b343403 100644 (file)
--- a/helm/software/matita/dist/INSTALL
+++ b/helm/software/matita/dist/INSTALL
@@ -14,7 +14,7 @@ Installing from sources
 
     Getting the source code
     Requirements
-    Database setup
+    (optional) MySQL setup
     Compiling and installing
 
 Configuring Matita
@@ -42,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
+Note for Debian (and derivatives) 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:
+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.
 
-              deb http://people.debian.org/~zack unstable helm
+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
 
@@ -92,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
 
@@ -109,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,