Bonjour à toutes et à tous,
comme vous le savez déjà, dimanche en huit, 26 avril, vous devrez rendre la première partie de votre projet. Ce rendu correspond aux semaines 4 à 7 incluses, c.-à-d. jusqu'à « CPU (1) : registres » inclus.
Voici les instructions pour effectuer ce rendu. Ces instructions ont été ajoutées à la fin du sujet de la semaine 7 :
Pour effectuer le rendu, le plus simple est de faire
make submit1
dans votre répertoire done/. Mais attention :
avant la soumission, vérifiez avoir bien ajouté (git add), validé (git commit) et transmis (git push) toutes vos dernières versions de tous vos fichiers sources .c et .h, ainsi que le Makefile. Merci par contre de ne pas ajouter les fichiers .o, ni les exécutables.
Avant de soumettre, veuillez également retirer (ou commenter) tous les appels à printf() superflus que vous auriez pu ajouter. Nous vous conseillons d'ailleurs d'utiliser plutôt le flux d'erreur stderr (fprintf(stderr,), car nous ne testons pas son contenu.
Ce qui sera considéré comme rendu sera ce que l'on trouvera dans (la branche master de) votre dépôt à la date indiquée ci-dessus et marqué d'une étiquette (« tag ») projet01_NB. C'est ce que fait la commande
make submit1
La raison pour laquelle nous étiquetons (git tag) votre contenu est pour vous permettre de continuer à travailler et prendre de l'avance : ainsi si votre dépôt contient à la date de rendu une version en avance sur le rendu et qui n'est pas fonctionnelle, ce n'est pas grave, nous ne prendrons que la dernière version pour laquelle vous aurez fait
make submit1
Ne faites donc pas de « make submit1 » sur une version qui ne compile pas...
Mais vous pouvez faire plusieurs fois « make submit1 » si vous vous appercevez d'une erreur. Nous ajouterons simplement une nouvelle étiquette projet01_NB, avec NB augmenté de 1.
Si vous préférez faire l'étiquettage vous-même, par exemple pour étiqueter un ancien commit ou parce que vous êtes sur une machine sur laquelle submit.sh ne fonctionne pas, vous pouvez aussi bien sûr le faire :
# pour être sûr d'où vous en êtes :
git status -suno
# aussi pour voir où vous en êtes, choisir votre commit à étiqueter :
git log --graph --oneline --all --decorate
# pour voir les tags que vous auriez déjà mis :
git tag -l
# POUR FAIRE LE RENDU LUI-MÊME :
# choisissez bien X (p.ex. 1) et Y (numéro de commit)
# p.ex. :
# git tag projet01_1 e8ec3e8
git tag projet01_X Y
git push --tags
git push
Faites bien attention de faire ces trois dernières commandes (en particulier les deux push).
Allez ensuite vérifier sur GitHub que vous y avez bien un tag.
