Didier Parigot

Zenith INRIA Team

INRIA Sophia Antipolis
Batiment Fermat, F109
2004 Route des Lucioles
BP 93
06902 Sophia Antipolis
Cedex France

Didier.Parigot@inria.fr
Tel : (33-4) 4 92 38 50 01
Fax : (33-4) 4 92 38 76 44



Instructions pour publier une nouvelle version de SmartTools ¶

   1. Générez tous les composants, pour être sûr que la génération fonctionne.
   2. Publiez et installer la feature (pour être sûr (problème de mise en cache et/ou numéros de versions), il vaut mieux exporter en tant que plugins tous les bundles modifiés sur votre Eclipse).
   3. Si vous avez changé un ou plusieurs générateurs, re-générez tous les composants avec les derniers générateurs installés. (3 re-génération)
   4. Testez tous les exemples de SmartTools (Cmp1 & Cmp2, Planes, Chemist, etc.).
   5. Clean et rebuild tout.
   6. Revert la feature, et archivez cette vieille feature sur le site web.
   7. Changez la version de la feature, ainsi que tous les bundles. Dans inria.smarttools.core/util/SmartTools.properties, changez la version.
   8. Publiez again the features from Eclipse.
   9. Modifiez le site web: archives, news.
  10. Faire un zip du dossier update site, qui contiendra site.xml, features er plugins, mais aucun .svn (smarttools-1.5.2.zip par exemple)
  11. Dans GForge, publiez ce fichier comme nouvelle version.
  12. Créez une nouvelle sur GForge.
  13. Publiez le site web avec le script ant.
  14. Mettez à jour les infos sur le site Eclipse Plugins Central, juste le numéro de version.
  15. Commitez toutes les modifications.
  16. Faire un tag SVN. (1.5.2 par exemple) 

INRIA main page LIRMM main page