Précédent Index Suivant

Installation de DrScheme

 

 
DrScheme possède son propre programme d'installation qui dépend fortement du système d'exploitation que vous utilisez.
 
Insérez le cédérom dans le lecteur idoine de votre ordinateur.  
En cliquant sur « informatique » puis sur « procédure d'installation détaillée HTML », vous retrouverez une page référençant ce document même que vous êtes en train de lire.
 
Cette page fait partie d'une documentation plus importante qui existe aussi en PDF.
 
Bravo, vous avez surmonté la première difficulté, la suite dépend du système d'exploitation que vous utilisez. Il est bon que vous gardiez une fenêtre sur cette documentation pendant la durée de l'installation. L'installation est, dans une large mesure, commune aux deux systèmes, les détails qui diffèrent seront explicités à chaque fois.
 
version Windows  
Pour installer DrScheme sur Windows, il suffit de lancer le programme
 
informatique/DrScheme/pub/plt/bundles/299.400/plt/plt-299.400-bin-i386-win32.exe

Il suffit (souvent mais avec IExplorer seulement) de cliquer sur ce lien . Si cela ne fonctionne pas, allez sur le cédérom dans le dossier « informatique », puis « DrScheme », puis « pub », puis « plt », puis « bundles », puis « 299.400 » puis (ouf!) « plt ». Là, lancez le programme plt-299.400-bin-i386-win32.exe en double-cliquant sur son icône (le nom peut être tronqué en plt-299.400-bin-i386-win32).
 
Le programme d'installation vous suggèrera où installer DrScheme (ce que vous pouvez modifier) puis vous conseillera (à juste titre) de compiler certains utilitaires (ce qu'il faut lui laisser faire).
 
Testez de suite DrScheme en le lançant grâce au menu « Démarrer » puis « Programmes » puis sous-menu « PLT Scheme » l'entrée « DrScheme » (profitez-en alors pour créer un raccourci sur votre bureau).
 
Sautez ce qui suit qui concerne Linux et rendez-vous pour l' installation des adjonctions.
 
version Linux  
Pour installer DrScheme sur Linux, voici les commandes qu'il faut exécuter en étant root (ce que vous n'êtes que quand c'est bien sûr nécessaire). Il existe aussi des outils graphiques pour cette tâche. Ce qui suit est découpé en plusieurs lignes afin d'être plus lisible. On suppose que le cédérom est accessible depuis le chemin /mnt/cdrom.
 
export MOI=`id -u`.`id -g`
su 
cd /mnt/cdrom/informatique/DrScheme
cd pub/computing/Scheme/DrScheme/103/plt
rpm -Uvh plt-103-1.i386.rpm 
chown -R $MOI /usr/local/lib/plt-103 
exit 

Explication: vous mémorisez votre identité (nom d'utilisateur et groupe) dans une variable nommée MOI (les accents sont des accents graves même si la police utilisée les rend quelquefois sous la forme d'accent aigüs) puis vous devenez l'utilisateur privilégié root, vous installez le fichier .rpm contenant DrScheme, enfin vous vous donnez la propriété de tous les fichiers qui ont été déballés. Cette étape est nécessaire pour que vous puissiez mettre à jour ultérieurement DrScheme sans aucun privilège dangereux). La dernière commande exit permet de ne plus être l'utilisateur privilégié root.
 
Testez maintenant que DrScheme marche (vous pouvez aussi instruire votre gestionnaire d'écran à lancer DrScheme à partir d'une icône si vous préférez). La commande pour lancer DrScheme est:
 
drscheme & 

Si la commande précédente ne marche pas, essayez de lancer DrScheme avec son nom complet: /usr/local/bin/drscheme ou encore /usr/local/lib/plt/bin/drscheme.

Auteur(s): Christian.Queinnec@lip6.fr.Mainteneur de la page: Christian.Queinnec@lip6.fr.
 

Précédent Index Suivant