Configuration d’Eclipse. Nous vous conseillons de modifier la configuration d’Eclipse de la
manière suivante :
1. Menu Window > Preferences > Java > Compiler : réglez Compliance level à 1.8 1;
2. Vérifiez qu’Eclipse trouve bien la JVM pour Java 8 : Menu Window > Preferences > Java >
Installed JRE > Add et spécifiez le chemin menant à cette JVM : /usr/lib/jvm/jdk1.8.0_
45 ;
3. Menu Window > Preferences > General > Editors > Text Editors, cochez la case Show Print
Margin qui montre la marge droite située à 80 colonnes. Essayez de ne pas dépasser cette
colonne, c’est une bonne habitude à prendre ;
4. Menu Window > Preferences > General > Editors > Text Editors, cochez la case insert spaces
for tabs (car il ne faut jamais utiliser de tabulations dans les programmes, sauf quand c’est
une convention imposée comme pour les Makefile par exemple) ;
5. Menu Window > Preferences > General > Workspace > Text File Encoding :utf8 ;
6. Menu Window > Preferences > General > Workspace > New text file line delimiter : Unix.
Parmi les problèmes qui parfois surviennent, il y a :
— pas assez de place sur votre compte : utilisez la commande quota pour déterminer l’espace
et nettoyez un peu ;
— Eclipse est sorti sans avoir effacé le fichier ~/workspace/.metadata/.lock : effacez-le puis
relancez Eclipse ;
— Eclipse ne se relance plus et l’erreur figurant dans ~/workspace/.metadata/.log men-
tionne des classes SWT en relation avec le navigateur (browser) : supprimez le répertoire
~/.mozilla/eclipse.
1.3 ILP1
Travail à réaliser : téléchargez les sources d’ILP1 hébergées sur GitHub et configurez un nou-
veau projet Eclipse avec ces sources. La procédure à réaliser est la suivante :
1. ouvrez un shell et placez-vous dans le répertoire workspace (cd ~/workspace) ;
2. lancez les trois commandes Git suivantes :
git config --global http.proxy http://proxy.ufr-info-p6.jussieu.fr:3128
git config --global https.proxy https://proxy.ufr-info-p6.jussieu.fr:3128
git clone https://github.com/CarlosAgon/ILP-UPMC.git
un nouveau répertoire ILP-UPMC doit apparaître dans le dossier workspace.
3. lancez Eclipse ; si vous voyez l’écran d’accueil d’Eclipse (premier lancement), passez à la vue
workbench en cliquant sur le cercle workbench tout en haut à droite ;
4. créez un nouveau projet de type Java (File > New java project) ; dans la case nom du projet,
tapez ILP-UPMC. Au moment où vous finissez de taper le nom du projet, Eclipse détecte
qu’un répertoire ayant ce nom existe et vous propose de le récupérer tel quel ; cliquez alors
sur Finish. Si ce n’était pas le cas, cliquez sur create new project from sources et choisissez
le répertoire workspace/ILP-UPMC ; enfin, cliquez Finish.
5. le projet est presque prêt ; Eclipse va peut-être vous demander s’il faut ouvrir la perspective
Java, répondez affirmativement.
Dans la suite du cours, les sources d’ILP2, ILP3 et ILP4 seront distribuées sur le même projet
GitHub, comme des mises à jour. La récupération des nouvelles sources nécessitera simplement
de synchroniser votre copie locale avec le projet GitHub, par :
git pull
depuis le répertoire ~/workspace/ILP-UPMC.
1. Attention : vous trouverez parfois Java 1.8 et parfois Java 8. Il s’agit de la même version ! Les anciennes versions
de Java sont numérotées 1.0, 1.1, 1.2, 1.3, 1.4, puis Java change de style de numérotation, et passe à Java 5, Java 6,
etc. Toutes les boîtes de dialogue n’ont pas été modifiées pour utiliser le nouveau style de numérotation.
2