Procédure d'ajout d'une nouvelle contribution Coq ------------------------------------------------- A) INTÉGRATION DE LA CONTRIBUTION À L'ARCHIVE CVS Dans l'archive des contributions nouvelle syntaxe ("constr/contrib8", aliasée à "contrib" dans l'archive pauillac:/net/pauillac/constr/ARCHIVE). 1) Si la contribution provient d'une institution qui n'a pas encore contribué, créer un répertoire du nom de l'institution. 2) Dans le répertoire associé à l'institution, créer un répertoire du nom de la contribution. S'assurer que le nom est significatif. 3) Placer la contribution soumise dans ce répertoire et vérifier qu'elle compile avec la version bugfix de la version de Coq actuellement distribuée (ci-dessous appelée version X.XX). 4) S'assurer que les fichiers Make et Makefile existent et sont dans le format standard de coq_makefile, et récursivement dans les sous-répertoires. Sinon, standardiser Make et Makefile et vérifier que cela continue de compiler. 5) Ajouter le nouveau répertoire du Make se trouvant dans le répertoire de l'institution et reconstruire le Makefile associé. 6) Si l'institution est nouvelle, ajouté son nom au Make et au Makefile principal de l'archive contrib (attention, Makefile n'est pas auto-engendré, c'est Makefile.sites qui l'est). 7) Vérifier que l'auteur de la contribution a soumis un fichier description et que les champs sont correctement nommés. Vérifier l'orthographe, etc. S'assurer que le fichier description est à la racine du répertoire associé à la contribution. Vérifier que l'identifiant "Name" (ci-dessous appelé CONTRIBNAME) associé à la contribution est significatif et pas déjà pris par une autre contribution. 8) Si la contribution a un fichier jouant le rôle d'un README, s'assurer qu'il s'appelle bien README quitte à le renommer (par exemple "readme" doit être renommé). 9) Commiter l'ajout du ou des nouveaux répertoires et fichiers, ainsi que la modification des différents Make et Makefile (et éventuellement Makefile.sites). 10) Si la contribution compile bien, on peut déplacer le tag associé à la version actuellement distribuée vers les nouveaux fichiers et répertoires (utiliser "cvs tag -F nom-du-tag noms-des-fichiers"). B) INTÉGRATION À LA SECTION CONTRIBUTIONS UTILISATEURS DU SITE WEB Sur la section contributions du site web de Coq (module www sur pauillac.inria.fr:/net/pauillac/constr/ARCHIVE, sous-répertoire coq/contribs) 1) Déterminer la ou les catégories et sous-catégories dans laquelle classer la nouvelle contribution. Le cas échéant, ajouter une nouvelle sous-catégorie. 2) Dans le ou les fichiers .prehtml associés à cette ou ces catégories, ajouter un item bilingue avec le nom de la contribution, son identifiant, et les auteurs. 3) Faire "make" dans le répertoire www/coq/contribs après avoir configurer ../config avec le tag de la version courante de Coq et s'être assuré que contrib-X.XX était effacé. Cette étape nécessite la présence de htmlpp. Attention il y a (au moins) deux programmes qui portent ce nom sur le web. Ici on a besoin de celui-ci : http://htmlpp.sourceforge.net/ 4) Faire une mise à jour partielle du site web de coq: export MACHINE=pauillac.inria.fr export WEB=/net/yquem/infosystems/www/logical/coq/contribs export FTP=/net/pauillac/infosystems/ftp/coq/coq/current # # installer les infos des contributions dans le répertoire web coq/contribs # scp all-contribs/CONTRIBNAME.{tar.gz,html,description}\ all-contribs/search.db all-contribs/summary.html *.html $MACHINE:$WEB ssh $MACHINE chmod -f g+w $WEB/* # # installer la nouvelle archive de toutes les contribs # scp contrib-X.XX.tar.gz $MACHINE:$FTP ssh $MACHINE chmod -f g+w $FTP/contrib-X.XX.tar.gz # # installer la nouvelle contribution dans le répertoire d'archivage # des contribution par numéro de version de Coq # scp all-contribs/CONTRIBNAME.tar.gz \ $MACHINE:/net/yquem/infosystems/www/logical/coq/contributions/VX.XX 5) S'assurer que le site web de coq a été mis à jour correctement, que la nouvelle contribution apparaît dans les versions anglaise et française du classement thématique, ainsi que dans la liste complète. Vérifier que l'outil de recherche par mot-clé la trouve. 6) Commiter les modifications faites à l'archive www/coq/contribs 7) Confirmer à l'auteur l'installation de sa contribution