«

»

Oct 05

Installer le compilateur Ada

Salut à tous,

Aujourd’hui s’achève le premier week-end robotique de l’année et un certain nombre de leçons furent tirées concernant l’installation d’Ada. Voici donc un résumé des étapes à suivre.

Tout d’abord, ouvrez le fichier contenant les sources de apt :

sudo gedit /etc/apt/sources.list

Vous pouvez aussi utiliser votre éditeur de texte préféré 😉

Rendez vous à la dernière ligne où vous devez ajouter :

deb http://debian.telecom-robotics.org telrob main

Sauvegardez et quitter le fichier. Dans le terminal, mettez à jour le cache des applications grâce à la commande :

sudo apt-get update

Ensuite, tout dépend de votre ordinateur. Si vous possédez un 32bits, il suffit normalement de simplement entrer :

sudo apt-get install telrob

Pour tout installer. Si vous avez un problème avec openocd, vous devrez le supprimer puis le réinstaller comme ceci :

sudo apt-get remove openocd (il faut peut-être un -stm32 à la fin)
sudo apt-get install openocd

Maintenant, si vous possédez un 64bits, tapez simplement :

sudo apt-get install gnat-stm32 libreadline-dev openocd udev-stm32 libc6:i386 libncurses5-dev:i386 libexpat1:i386 libusb-1.0:i386

Pour vérifier que tout marche pour le mieux dans le meilleur des mondes, nous allons compiler et téléverser un programme. Dans un fichier test.adb, entrez :

procedure Test is
begin
loop
null;
end loop;
end Test;

Ensuite, dans votre terminal :

arm-none-eabi-gnatmake --RTS=rts-raven-2011 test.adb

Ensuite nous allons flasher notre carte. Pour cela, entrez dans un terminal (votre carte doit être branchée) :

sudo openocd -f /usr/share/openocd/scripts/board/stm32f4discovery.cfg

Des messages d’information devraient apparaitre si tout fonctionne bien. Sinon, la remarque est la même que pour la compilation.

Ensuite dans un nouveau terminal, placez vous dans le dossier de votre test.adb.
Entrez dans le terminal :

sudo arm-none-eabi-gdb test

Une console gdb devrait s’ouvrir. Ensuite, entrez la suite suivante d’instruction :

target extended-remote localhost:3333
monitor halt
monitor flash write_image erase /chemin/absolu/vers/votre/fichier/test
monitor reset

Ces commandes permettent de se connecter à la carte, puis d’arrêter son fonctionnement, de la flasher et enfin de la réinitialiser.
Le chemin vers votre fichier test doit être de la forme : /home/nom_utilisateur/Documents/test si le fichier test se trouve dans les Documents.

Voila, vous savez maintenant compiler et flasher une carte. N’hésitez pas à signaler tout erreur ou oubli pour que j’améliore cette phase.

A+

Julien