Mise en œuvre de WinCaml avec tp-algo

On suppose l’archive WinCaml6_wx_qt_lin_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 WinCaml6.

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 WinCaml6 sur le bureau.
  On pourra y rendre exécutable WinCaml (WinCamlqt ou WinCamlwx au choix), 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 6, supprimer le sous-répertoire WinCaml6/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 !!