Matita HomeMatita HomeInstall Matita from the sources is hard, you have been warned!
You can get the Matita source code in two ways:
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.
In order to build Matita from sources you will need some tools and libraries. They are listed below.
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
An official debian package is going to be added to the archive too.
Required tools and libraries
the Objective Caml compiler, version 3.09 or above
OCaml package manager, version 1.1.1 or above
OCaml bindings for the expat library
OCaml bindings for the GTK+ library , version 2.6.0 or above
extension for the GTK+ text widget (adding the typical features of source code editors) and its OCaml bindings
collection of OCaml libraries to deal with application-level Internet protocols and conventions
Unicode lexer generator for OCaml
OCaml library to access .gz files
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 Matita stuff (executables, configuration files,
standard library, ...) will be installed
--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
worldbuilds components needed by Matita and Matita itself (in bytecode or native code depending on the availability of the OCaml native code compiler)
installinstalls Matita related tools, standard library and the needed runtime stuff in the proper places on the filesystem.