Table des matières

, ,

EiffelStudio : Environnement de développement intégré Complet

EiffelStudio est l'outil de développement qui utilise toute la puissance du langage Eiffel. EiffelStudio procure toutes les fonctions qu'un IDE doit accomplir (Édition, manipulation de code, coloration syntaxique, auto-complétion, mise au point, etc…). EiffelStudio fournit, également, des outils de modélisation et de génie logiciel intégrés qui permettent d'avoir une documentation logicielle toujours valide, à jour et exacte.

Pré-requis

Installation

Depuis un PPA

Pour installer EiffelStudio avecdepuis un PPA :

Installation manuelle

Cette installation ne fonctionne que pour un seul usager. Les autres usagers n'auront pas droit d'écriture dans les répertoires d'Eiffel. Cette méthode est recommandé pour ceux qui voudrait avoir plusieurs version d'EiffelStudio sur leur système.

Vous devez ensuite aller chercher l'archive d'EiffelStudio sur le site d'ISE Eiffel ou bien sur SourceForge. Dans les exemples ci-dessous, la version 14.05 pour linux x86 32 bits est utilisée.

Une inscription est nécessaire pour télécharger le fichier sur le site d'ISE Eiffel.

Ouvrez un terminal (Applications→Accessoires→Terminal), aller dans le répertoire dans lequel vous avez téléchargé l'archive et décompresser-la.

cd Répertoire_Contenant_l_archive
tar xvfj Eiffel_*_gpl_*-linux-*.tar.bz2

Déplacez le nouveau répertoire créé dans /usr/local/

sudo mv Eiffel_??.?? /usr/local/   # Votre mot de passe vous sera demandé 

Pour démarrer EiffelStudio, lancer dans un terminal:

export LANG=C
export ISE_EIFFEL=/usr/local/Eiffel_14.05
export ISE_PLATFORM=linux-x86
# export ISE_PLATFORM=linux-x86-64    # Si vous êtes sur un système 64 bits
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
 
estudio 
Sur Kubuntu, si vous avez des erreurs d'affichage et qu'en ligne de commande, EiffelStudio donne le message suivant:

"Pango-WARNING **: failed to create cairo scaled font, expect ugly output."

Vous devez utiliser la commande:

sudo fc-cache -f -v

Créer un lanceur

Créer le lanceur

sudo xdg-open /usr/local/bin/eiffelstudio

Inscrire le script suivant dans le fichier

#!/bin/sh
export LANG=C
export ISE_EIFFEL=/usr/local/Eiffel_14.05
export ISE_PLATFORM=linux-x86
# export ISE_PLATFORM=linux-x86-64    # Si vous êtes sur un système 64 bits
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
estudio

Sauvegarder et fermer le fichier.

Donner les droits d'exécution à notre script

sudo chmod +x /usr/local/bin/eiffelstudio

Vérifier que le lanceur fonctionne

eiffelstudio
A noter que l'exécution d'un programme en mode console dans Eiffel Studio nécessite que celui-ci soit lancé depuis une console pour voir le flux de sortie.

Si eiffelstudio ouvre correctement, c'est réussi. Vous pouvez maintenant démarrer eiffelstudio par terminal ou par lanceur graphique (Alt+F2). Vous pouvez également créer un raccourci-lanceur et mettre dans le champ commande :

eiffelstudio

Noter qu'une icône d'EiffelStudio peut être trouvé là:

/usr/local/Eiffel_14.05/studio/bitmaps/png/logo.png

Créer un lanceur pour EiffelBuild

Le programme EiffelBuild est un créateur de fenêtre pour vision2. Ce programme fait partie de la suite eiffelstudio. Voici la démarche pour pouvoir l'utiliser. Créer le lanceur

sudo xdg-open /usr/local/bin/eiffelbuild

Inscrire le script suivant dans le fichier

#!/bin/sh
export LANG=C
export ISE_EIFFEL=/usr/local/Eiffel_14.05
export ISE_PLATFORM=linux-x86
# export ISE_PLATFORM=linux-x86-64    # Si vous êtes sur un système 64 bits
export PATH=$PATH:$ISE_EIFFEL/esbuilder/spec/$ISE_PLATFORM/bin 
esbuilder

Sauvegarder et fermer le fichier.

Donner les droits d'exécution à notre script

sudo chmod +x /usr/local/bin/eiffelbuild

Vérifier que le lanceur fonctionne

eiffelbuild

Si eiffelbuild ouvre correctement, c'est réussi. Vous pouvez maintenant démarrer eiffelbuild par terminal ou par lanceur graphique (Alt+F2). Vous pouvez également faire un nouvel élément dans le menu application en utilisant l'outil alacarte (ou l'éditeur de menu sous kubuntu). Vous n'avez qu'à créer un nouvel élément (lanceur) et mettre dans le champ commande:

eiffelbuild