Actualité du Projet GL 2013 : Différence entre versions
(08/01/2013 : petite correction pour l'installation sur machine personnelle) |
|||
| Ligne 5 : | Ligne 5 : | ||
<!-- Ajouter les nouvelles ici --> | <!-- Ajouter les nouvelles ici --> | ||
| − | === 20/12/ | + | === 08/01/2013 : petite correction pour l'installation sur machine personnelle === |
| + | |||
| + | Une petite erreur a été corrigée dans le Makefile de Global/Sources. Si vous obtenez une erreur du type | ||
| + | |||
| + | make[3]: gnaflex : commande introuvable | ||
| + | [...] | ||
| + | make: *** [Creer_Arbres_05/Exec/creer_arbres] Erreur 2 | ||
| + | |||
| + | il devrait suffire de lancer <code>git pull</code> puis de relancer <code>make</code>. | ||
| + | |||
| + | === 20/12/2012 : commande pour récupération de clé SSH === | ||
Le document SeanceMachine.ps vous indique une commande pour récupérer votre clé SSH. Pour vous éviter de la recopier à la main, voici une version copie-collable (en définissant <code>$login</code> comme il faut, bien sûr) : | Le document SeanceMachine.ps vous indique une commande pour récupérer votre clé SSH. Pour vous éviter de la recopier à la main, voici une version copie-collable (en définissant <code>$login</code> comme il faut, bien sûr) : | ||
| Ligne 12 : | Ligne 22 : | ||
rsync --chmod=go-rwx $login@ensibm.imag.fr:/usr/local/GL/Keys/'$LOGNAME' ~/.ssh/id_projet_gl | rsync --chmod=go-rwx $login@ensibm.imag.fr:/usr/local/GL/Keys/'$LOGNAME' ~/.ssh/id_projet_gl | ||
| − | === 04/12/ | + | === 04/12/2012 : répertoire de travail du projet === |
Le document <code>Seance_Machine.ps</code> vous suggère de travailler dans le répertoire <code>~/Projet_GL</code>. À l'Ensimag, c'est une mauvaise idée de travailler à la racine de son compte (qui a un tout petit quota, et qui n'est pas partagé entre ensibm et les PCs, cf. la page [[Gestion des comptes à l'Ensimag]] pour les détails). Vous êtes fortement encourragés à travailler dans <code>~/partage/Projet_GL</code>. | Le document <code>Seance_Machine.ps</code> vous suggère de travailler dans le répertoire <code>~/Projet_GL</code>. À l'Ensimag, c'est une mauvaise idée de travailler à la racine de son compte (qui a un tout petit quota, et qui n'est pas partagé entre ensibm et les PCs, cf. la page [[Gestion des comptes à l'Ensimag]] pour les détails). Vous êtes fortement encourragés à travailler dans <code>~/partage/Projet_GL</code>. | ||
| Ligne 43 : | Ligne 53 : | ||
<code>/usr/local/GL/Global/Doc/Seance_Machine.ps</code> est déjà corrigée. | <code>/usr/local/GL/Global/Doc/Seance_Machine.ps</code> est déjà corrigée. | ||
| − | === 04/12/ | + | === 04/12/2012 : option -x manquante dans Decac.txt === |
Une option a été oubliée dans la spécification des options en ligne de | Une option a été oubliée dans la spécification des options en ligne de | ||
Version du 8 janvier 2013 à 16:47
Cette page est maintenue par les enseignants et utilisée par les élèves de la matière concernée. Vos contributions sont les bienvenues, mais merci d'en discuter avant de faire des modifications non triviales de la page, pour être sûr de ne pas perturber le déroulement du cours.Sommaire
Utilisation de cette page
Il est impératif de consulter régulièrement cette page. Une solution simple est de la mettre comme page d'accueil de votre navigateur pour la durée du projet. Sinon, vous pouvez aussi utiliser un des flux suivant :
Atom: https://ensiwiki.ensimag.fr/index.php?title=Actualit%C3%A9_du_Projet_GL_2013&feed=atom&action=history RSS: https://ensiwiki.ensimag.fr/index.php?title=Actualit%C3%A9_du_Projet_GL_2013&feed=rss&action=history
(A donner à un agrégateur RSS comme Thunderbird, Feedly, netvibes, ... Voir par exemple ces explications pour suivre un fil RSS depuis Thunderbird). La page Ensiwiki:Suivre les modifications du wiki sur ce Wiki donne quelques informations supplémentaires.
Les Nouvelles
08/01/2013 : petite correction pour l'installation sur machine personnelle
Une petite erreur a été corrigée dans le Makefile de Global/Sources. Si vous obtenez une erreur du type
make[3]: gnaflex : commande introuvable [...] make: *** [Creer_Arbres_05/Exec/creer_arbres] Erreur 2
il devrait suffire de lancer git pull puis de relancer make.
20/12/2012 : commande pour récupération de clé SSH
Le document SeanceMachine.ps vous indique une commande pour récupérer votre clé SSH. Pour vous éviter de la recopier à la main, voici une version copie-collable (en définissant $login comme il faut, bien sûr) :
$login=monloginensimag rsync --chmod=go-rwx $login@ensibm.imag.fr:/usr/local/GL/Keys/'$LOGNAME' ~/.ssh/id_projet_gl
04/12/2012 : répertoire de travail du projet
Le document Seance_Machine.ps vous suggère de travailler dans le répertoire ~/Projet_GL. À l'Ensimag, c'est une mauvaise idée de travailler à la racine de son compte (qui a un tout petit quota, et qui n'est pas partagé entre ensibm et les PCs, cf. la page Gestion des comptes à l'Ensimag pour les détails). Vous êtes fortement encourragés à travailler dans ~/partage/Projet_GL.
Vous pouvez donc remplacer :
- Dans la section « 3. Création des répertoires du projet », les commandes deviennent :
cd ~/partage git clone ssh://gl42@ensibm.imag.fr/~/git/ Projet_GL chmod -R go-rwx Projet_GL ls cd Projet_GL ls
- Dans la section « 4.1 Dans le fichier .bashrc », le second répertoire à ajouter à votre PATH devient :
$HOME/partage/Projet_GL/Exec
- Bien sûr, dans toute la suite du document, les références à
~/Projet_GL
deviennent
~/partage/Projet_GL.
La version de Seance_Machine.ps qui se trouve dans
/usr/local/GL/Global/Doc/Seance_Machine.ps est déjà corrigée.
04/12/2012 : option -x manquante dans Decac.txt
Une option a été oubliée dans la spécification des options en ligne de
commande de votre compilateur (fichier Decac.txt). Après
les documentation des options -b, -p, -v, -n et -r, il faut ajouter
ceci :
. -x (heXadecimal) : passe l'affichage des flottants en
hexadécimal.
Cette option peut vous être très utile pour tester la gestion fine des nombres flottants par vos compilateurs.
La version de Decac.txt qui se trouve dans
/usr/local/GL/Global/Doc/Decac.txt est déjà corrigée.
