From 2fbef023cc9fdb3d6982194ba62552a0605f2571 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 May 2008 10:40:56 +0000 Subject: [PATCH] 0.5.1 should be realased soon, the bug that was affecting fixpoints disambiguation is nasty --- helm/software/configure.ac | 2 +- helm/software/matita/dist/ChangeLog | 5 +++++ helm/software/matita/dist/INSTALL | 35 ++++++++++++++++------------- 3 files changed, 26 insertions(+), 16 deletions(-) diff --git a/helm/software/configure.ac b/helm/software/configure.ac index 78a06a8c0..8181acc0a 100644 --- a/helm/software/configure.ac +++ b/helm/software/configure.ac @@ -5,7 +5,7 @@ AC_INIT(matita/matitaTypes.ml) DEBUG_DEFAULT="true" DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it" RT_BASE_DIR_DEFAULT="`pwd`/matita" -MATITA_VERSION="0.5.0" +MATITA_VERSION="0.5.1" DISTRIBUTED="no" # "yes" for distributed tarballs # End of distribution settings diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 8f2573253..d20d37588 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,3 +1,8 @@ +0.5.1 - -/5/2008 - minor bug fix release + * a wrong context was used to refine fixpoints arguments + when trying to optimize out the letin (grep for `AvoidLetIn): + (let rec f x = Fix... in f t ---> Fix... t) + 0.5.0 - 9/5/2008 - bugfix release * first release not considered experimental diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL index dfec3e141..2a1533815 100644 --- 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, -- 2.39.2