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.
-
Si vous aimez vivre dangereusement (Windows ou Linux), le
cédérom lancera, dès qu'inséré, l'affichage de la page
index.html (ainsi que l'effacement de votre
disque dur (non, non, je galèje!))
- sinon, lancez un navigateur (IExplorer (Microsoft),
Navigator (Netscape) ou autre) et demandez-lui d'afficher la
page index.html (c'est un fichier (ou document)
qui se trouve à la racine du cédérom (parfois on ne voit que
son nom tronqué c'est-à-dire index)).
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.
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.
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.