Mise en œuvre de WinCaml avec tp-algo
On suppose l’archive WinCaml7_qt_deb71_amd64.tar.gz installée sur une clé USB.
Une fois connectée à l’ordinateur fonctionnant sous tp-algo la clé apparaît sur le bureau de tp-algo et se monte par double-clic sur son icône.
On peut alors, si ce n’est déjà fait, utiliser tp-algo pour décompresser l’archive et obtenir ainsi sur la clé un dossier WinCaml7.
Deux cas essentiellement se présentent:
- cas 1:
La clé est préparée pour Windows (c’est le cas le plus fréquent, avec un système de fichiers vfat).
On ne peut pas y utiliser directement WinCaml, faute de pouvoir le rendre exécutable. Mais on peut copier le dossier WinCaml7 sur le bureau.
On pourra y rendre exécutable WinCaml (WinCamlqt en fait), par exemple par la séquence d’opérations suivantes:
- clic droit sur son icône
- clic sur le menu contextuel Propriétés
- clic sur l’onglet Permissions
- activation de la case Autoriser ce fichier à être exécuté comme un programme.
Inconvénient: il faudra recommencer toutes ces opérations après chaque redémarrage de tp-algo.
- cas 2:
La clé est préparée pour Linux (format de fichiers ext2, ext3 ou ext4). WinCaml y est alors utilisable directement (éventuellement après l’avoir
rendu exécutable comme précédemment).
Important:
- Pour utiliser Caml Light 0.82 avec WinCaml 7, supprimer le sous-répertoire WinCaml7/caml-light,
ou bien demander à WinCaml une nouvelle distribution caml (menu Caml > Nouvelle distribution...), naviguer vers le répertoire /usr et choisir
ce répertoire qui est celui de la distribution Caml Light de tp-algo (et aussi de la distribution OCaml (3.12.1)).
- Penser à enregistrer son travail sur la clé avant de quitter tp-algo !!