X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_install.xml;h=35d7ff900a6d3771b9b1b00825533493603710f6;hb=9c4f15d74f5de01494a587322edc66b85f6d2f4e;hp=308bf02fa3a4afa71a628944903dfe551fa5fd8b;hpb=f89e30b4f792260fe73c013aa18559bb2b85f3e4;p=helm.git
diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 308bf02fa..35d7ff900 100644
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -15,13 +15,287 @@
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
+
+
+
+
+
+
+
+
+
+ Instructions
+
+ 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. You may need to pass on the command
+ line some of the parameters riported below:
+
+
+ configure parameters
+
+
+ &TODO;
+ &TODO;
+
+
+
+
+
+
+ Then you will manage the build 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 only or in both bytecode and native code depending
+ on the availability of the OCaml native code compiler)
+
+
+
+
+ library
+
+ uses the (just built) matitac
+ compiler to build the &appname; standard library.
+ For this step you will need a working SQL database (for
+ indexing the standard library while you are compiling it). See
+ &TODO; 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
+
+
+
+
+
+
+
+
+
+