8 February 2018

Générateurs

Holide : François fait en sorte qu'il soit sur GitHub et fonctionne.
Krajono : Il génère des fichiers, François doit mettre la version fonctionnelle sur le GitHub de l'équipe.

Stockage : Une fois les .dk générés, il faudrait les stockés quelque part. GitHub ne semble pas approprié pour celà. Zenodo ou bien gForge semblent préférable.
Format des archives : Il serait mieux de stocker les bibliothèques comme des .tar contenant des .dk.gz car cela n'augmente que très peu la taille des dossiers par rapport à un .tar.gz mais permet de décompresser les fichiers un par un plutôt que l'archive entière, ce qui représente un gain de place conséquent.

Release : On crée une version 2.6 qui sert de référence très vite.
Build system : Rodolphe s'occupe de retirer Oasis qui est jugé comme étant une dépendance trop grosse.
Nom de module : Le #NAME devient optionnel avec une option -o si l'on souhaite un nom de module différent du nom de fichier. Un #REQUIRE pour avoir un contrôle fin du moment où un fichier est chargé est discuté. Plusieurs visions de la chose s'exprime. Les opinions divergent en particulier sur le fait de continuer à qualifier les symboles avec le nom de module, même après avoir signalé qu'il était requis. La possibilité d'avoir un "as" optionnel en cas de #REQUIRE pour éviter de faire apparaître des centaines de fois un nom de module long dans un fichier car cela nuit à la lisibilité.

Lorsque l'on tape sur Google "Dedukti manual", il apparaît dans les premiers liens des manuels qui se trouvent sur gForge et qui sont aujourd'hui obsolètes. Il faudrait complètement supprimer ces sites.

Dorénavant, les compte-rendus des réunions sont placés sur le Wiki de Dedukti qui se trouve sur GitHub.