Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
eiffelstudio [Le 25/08/2013, 02:45] 24.122.21.118 [Installation de EiffelStudio (Ancienne version)] |
eiffelstudio [Le 11/09/2022, 11:25] (Version actuelle) moths-art Suppression des espaces en fin de ligne (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | {{tag>programmation IDE}} | + | {{tag>programmation IDE BROUILLON}} |
---- | ---- | ||
Ligne 7: | Ligne 7: | ||
====== EiffelStudio : Environnement de développement intégré Complet ====== | ====== EiffelStudio : Environnement de développement intégré Complet ====== | ||
- | **EiffelStudio** est l'outil de développement qui utilise toute la puissance du | + | **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 | + | 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 | + | (É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. | de génie logiciel intégrés qui permettent d'avoir une documentation logicielle toujours valide, à jour et exacte. | ||
+ | ===== Pré-requis ===== | ||
+ | |||
+ | * Disposer des [[:sudo|droits d'administration]]. | ||
+ | * Il faut [[:tutoriel:comment_installer_un_paquet|installer]] les dépendances **[[apt>libgtk2.0-dev,libxtst-dev|libgtk2.0-dev et libxtst-dev]]**. | ||
+ | ===== Installation===== | ||
+ | ====Depuis un PPA ==== | ||
- | ==== Installation de EiffelStudio (Nouvelle version) ==== | + | Pour installer EiffelStudio avecdepuis un PPA : |
+ | * [[:PPA|Ajouter le PPA]] **ppa:eiffelstudio-team/ppa**((https://launchpad.net/~eiffelstudio-team/+archive/ubuntu/ppa)) dans vos sources de logiciels; | ||
+ | * [[:tutoriel:comment_modifier_sources_maj#recharger_la_liste_des_paquets|Recharger la liste des paquets]]; | ||
+ | * [[:tutoriel:comment_installer_un_paquet|Installer le paquet]] **[[apt>eiffelstudio]]** ou bien **[[apt>eiffelstudio18.01]]**. | ||
- | Eiffel Software propose maintenant d'utiliser un fichier d'installation de paquet debian (.deb). Pour vous procurer le fichier, rendez-vous sur [[http://sourceforge.net/projects/eiffelstudio/files/|SourceForge]]. Une fois sur le site, sélectionnez la version d'EiffelStudio que vous souhaitez installer et téléchargez le fichier .deb. | ||
- | Il ne vous reste plus qu'à exécuter le fichier et l'installateur devrait installer les dépendances et le logiciel pour vous. | + | ==== Installation manuelle==== |
+ | <note>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.</note> | ||
- | + | Vous devez ensuite aller chercher l'archive d'EiffelStudio sur le site d'[[https://www2.eiffel.com/download/download_info.aspx?id=eiffelstudio&info=false&mirrors=public|ISE Eiffel]] ou bien sur [[http://sourceforge.net/projects/eiffelstudio/files/|SourceForge]]. Dans les exemples ci-dessous, la version 14.05 pour linux x86 32 bits est utilisée. | |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | ==== Installation de EiffelStudio (Ancienne version) ==== | + | |
- | <note>Cette démarche d'installation n'est pas recommandé. Je laisse cette démarche disponible pour ceux qui voudrait l'utiliser.</note> | + | |
- | <note>Cette installation ne fonctionne que pour un seul usager. Les autres usagers n'auront pas droit d'écriture dans les répertoires d'Eiffel</note> | + | |
- | Premièrement, il faut installer les dépendances: | + | |
- | <code>sudo apt-get install libgtk2.0-dev libxtst-dev</code> | + | |
- | + | ||
- | Vous devez ensuite aller chercher l'archive d'EiffelStudio sur le site d'[[https://www2.eiffel.com/download/download_info.aspx?id=eiffelstudio&info=false&mirrors=public|ISE Eiffel]] ou bien sur [[http://sourceforge.net/projects/eiffelstudio/files/|SourceForge]]. Dans les exemples ci-dessous, la version 7.3 pour linux x86 32 bits est utilisée. | + | |
<note>Une inscription est nécessaire pour télécharger le fichier sur le site d'ISE Eiffel.</note> | <note>Une inscription est nécessaire pour télécharger le fichier sur le site d'ISE Eiffel.</note> | ||
Ouvrez un terminal (Applications->Accessoires->Terminal), aller dans le répertoire dans lequel vous avez téléchargé l'archive et décompresser-la. | Ouvrez un terminal (Applications->Accessoires->Terminal), aller dans le répertoire dans lequel vous avez téléchargé l'archive et décompresser-la. | ||
- | <code> | + | <code bash> |
cd Répertoire_Contenant_l_archive | cd Répertoire_Contenant_l_archive | ||
- | tar xvfj Eiffel??_gpl_*-linux-*.tar.bz2 | + | tar xvfj Eiffel_*_gpl_*-linux-*.tar.bz2 |
</code> | </code> | ||
- | Déplacez le nouveau répertoire créé dans /usr/local/ | + | Déplacez le nouveau répertoire créé dans **/usr/local/** |
- | <code> | + | <code bash> |
- | sudo mv Eiffel?? /usr/local/ # Votre mot de passe vous sera demandé | + | sudo mv Eiffel_??.?? /usr/local/ # Votre mot de passe vous sera demandé |
</code> | </code> | ||
Pour démarrer EiffelStudio, lancer dans un terminal: | Pour démarrer EiffelStudio, lancer dans un terminal: | ||
- | <code> | + | <code bash> |
export LANG=C | export LANG=C | ||
- | export ISE_EIFFEL=/usr/local/Eiffel73 | + | export ISE_EIFFEL=/usr/local/Eiffel_14.05 |
export ISE_PLATFORM=linux-x86 | export ISE_PLATFORM=linux-x86 | ||
# export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | # export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | ||
Ligne 88: | Ligne 66: | ||
Créer le lanceur | Créer le lanceur | ||
<code> | <code> | ||
- | gksudo gedit /usr/local/bin/eiffelstudio # Utiliser "kdesudo kwrite" au lieu de "gksudo gedit" sur kubuntu | + | sudo xdg-open /usr/local/bin/eiffelstudio |
</code> | </code> | ||
Inscrire le script suivant dans le fichier | Inscrire le script suivant dans le fichier | ||
Ligne 94: | Ligne 72: | ||
#!/bin/sh | #!/bin/sh | ||
export LANG=C | export LANG=C | ||
- | export ISE_EIFFEL=/usr/local/Eiffel73 | + | export ISE_EIFFEL=/usr/local/Eiffel_14.05 |
export ISE_PLATFORM=linux-x86 | export ISE_PLATFORM=linux-x86 | ||
# export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | # export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | ||
Ligne 113: | Ligne 91: | ||
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. | 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. | ||
</note> | </note> | ||
- | 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 faire un nouvel élément dans le menu application en utilisant l'outil [[:alacarte]]. Vous n'avez qu'à créer un nouvel élément (lanceur) et mettre dans le champ commande: | + | 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 : |
<code> | <code> | ||
eiffelstudio | eiffelstudio | ||
Ligne 119: | Ligne 97: | ||
Noter qu'une icône d'EiffelStudio peut être trouvé là: | Noter qu'une icône d'EiffelStudio peut être trouvé là: | ||
<code> | <code> | ||
- | /usr/local/Eiffel73/studio/bitmaps/png/logo.png | + | /usr/local/Eiffel_14.05/studio/bitmaps/png/logo.png |
</code> | </code> | ||
Ligne 126: | Ligne 104: | ||
Créer le lanceur | Créer le lanceur | ||
<code> | <code> | ||
- | gksudo gedit /usr/local/bin/eiffelbuild # Utiliser "kdesudo kwrite" au lieu de "gksudo gedit" sur kubuntu | + | sudo xdg-open /usr/local/bin/eiffelbuild |
</code> | </code> | ||
Inscrire le script suivant dans le fichier | Inscrire le script suivant dans le fichier | ||
Ligne 132: | Ligne 110: | ||
#!/bin/sh | #!/bin/sh | ||
export LANG=C | export LANG=C | ||
- | export ISE_EIFFEL=/usr/local/Eiffel73 | + | export ISE_EIFFEL=/usr/local/Eiffel_14.05 |
export ISE_PLATFORM=linux-x86 | export ISE_PLATFORM=linux-x86 | ||
# export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | # export ISE_PLATFORM=linux-x86-64 # Si vous êtes sur un système 64 bits | ||
Ligne 152: | Ligne 130: | ||
eiffelbuild | eiffelbuild | ||
</code> | </code> | ||
- |