Installer Cygwin avec OCaml pour Eclipse sous Windows
Première possibilité : copier un binaire cygwin
- Récupérer le dossier compressé contenant
cygwin déjà compilé avec les fonctionnalités ocaml (sur un Window 32
bits)
ici ou bien
ici.
- Décompresser l'archive à la racine de votre disque C, ici: C:\cygwin
- Ouvir le dossier cygwin
- Double-cliquer sur Cygwin.bat
- Si ce binaire est compatible avec votre version de Windows,
alors un terminal Cygwin se lance.
- Vous pouvez passer à
l'étape
Installer OcaIDE pour Eclipse sous Windows
Deuxième possibilité : installer cygwin depuis un répertoire local
- Récupérer le dossier compressé contenant les téléchargements
nécessaires à l'installation de Cygwin
ici ou bien
ici.
- Décompresser ce dossier, par exemple dans votre dossier
Téléchargements ou Downloads.
- Suivre les étapes d'installation de Cygwin mais avec l'option
Install from Local Directory :
Sélectionner Install from Local Directory puis Browse
pour indiquer le répertoire que vous venez de décompresser.
Troisième possibilité : installer cygwin depuis internet
(attention au proxy du réseau wifi)
- Télécharger ici
l'un des deux fichiers setup-x86.exe ou setup-x86_64.exe correspondant à votre
processeur (32 ou 64 bits).
- Lancer l'exécutable précédemment téléchargé et choisir Install from Internet.
- Choisir le disque C:\ pour l'installation et
laisser le choix par défaut pour le dossier de téléchargements.
- Proxy settings : choisir ceux du navigateur qui est
déjà configuré pour le wifi normalement.
- Choisir un miroir (autrement dit, un serveur auxiliaire)
en Europe (ceux en Allemagne fonctionnent bien, adresse en .de)
- Lorsque vous vous retrouvez face à une liste de logiciels,
- recherchez ocaml (dans la barre de recherche en haut à
gauche),
- déroulez le menu Devel et cliquez sur Skip pour
le faire passer à l'état Install, vous voyez un carré coché en face
du nom, avec un numéro de version.
- Installez toutes les propositions pour ocaml.
- Recherchez make de même, déroulez le menu
Devel et cochez make pour l'installer.
- Cliquez sur Suivant
- Attendre...
- Installer le raccourci sur le bureau et le lien dans le menu
Démarrer.