diff options
| -rw-r--r-- | distrib/RELEASE | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index cc5bdb82bf..1776d4dc4c 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -1,5 +1,6 @@ (**************************************************************************) (* Liste des choses à faire pour une release *) +(* Mise à jour V7 *) (**************************************************************************) PLAN @@ -17,12 +18,12 @@ A1) VÉRIFICATIONS S'assurer que les choses suivantes été réalisées et COMMITÉES. - - Changement du magic number dans src/meta/library.ml si la syntaxe + - Changement du magic number dans library/library.ml si la syntaxe interne des .vo a changé - Changement des variables en tête du fichier "configure" et vérification du numéro de versions de OCaml et Camlp4 demandées - - Mise à jour des champs Version, Source et Require + - Mise à jour des champs Version, Source et Require dans RH/coq.spec.tpl - Relecture des fichiers "README", "README.win", en particulier, vérification du numéro de version, des adresses internet et des coordonnées de Coq @@ -30,6 +31,8 @@ A1) VÉRIFICATIONS de version de coq et numéros des versions de OCaml et Camlp4 demandées - Mise à jour/nettoyage du fichier CHANGES et du fichier ANNONCE + S'assurer aussi que make world, make doc et make check fonctionnent ! + EN CAS DE MODIFICATION DE L'ARCHIVE, REPRENDRE EN A3 (ou en A2 si la date ou le numéro de version a changé) |