Avertissement

Nous recommandons fortement d'utiliser la machine virtuelle INF441 si cela est possible. Si cette machine virtuelle est trop lente,

Ces instructions concernent donc les élèves qui ne parviennent pas à faire fonctionner la machine virtuelle.

Installer OCaml (pour Linux et MacOS)

La version actuelle d'OCaml est 4.02.3. Des versions plus anciennes conviennent également.

  1. Ubuntu et Debian uniquement. Vous pouvez simplement installer ocaml en tapant dans un terminal:
    sudo apt-get install ocaml
  2. (MacOS uniquement) (optionnel?) Installez les librairies X11, qui sont nécessaires pour la librairie Graphics d'OCaml.
  3. Installez OPAM, le gestionnaire de paquets pour OCaml. Vous pouvez soit suivre l'une des méthodes décrites sur la page OPAM, soit l'installer manuellement à l'aide des commandes suivantes:
            mkdir $HOME/opam
            wget --no-check-certificate https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh
            bash ./opam_installer.sh $HOME/opam
          
    Répondez oui aux questions que vous pose l'installeur. Une fois l'installation terminée, ajoutez la ligne suivante à la fin de votre fichier .bashrc:
            export PATH=$HOME/opam:$PATH
          
  4. Installez le mode Tuareg, qui permet d'éditer OCaml sous emacs:
            cd /usr/local/share/emacs/site-lisp
            git clone https://github.com/ocaml/tuareg.git
          
    Cela fait, éditez votre fichier ~/.emacs et ajoutez-y la ligne suivante:
          (load "usr/local/share/emacs/site-lisp/tuareg/tuareg-site-file")
        
    (Si vous n'avez pas de fichier ~/.emacs, il faut le créer. Vous pouvez le faire à l'aide de la commande emacs ~/.emacs. Éditez le fichier, enregistrez-le, puis quittez et relancez emacs.) Si besoin, ajustez la ligne ci-dessus en fonction des noms de répertoire. Sous Windows, ce sera plutôt:
    (load "C:/Emacs/tuareg/tuareg-site-file")
    (avec des / à la Unix, et non pas les \ de Windows).
  5. Quand vous lancez emacs, un message d'erreur apparait-il ? Si oui, véfifiez que le fichier tuareg-site-file est bien présent dans l'arborescence à l'endroit indiqué. Sinon, essayez d'ouvrir un fichier Ocaml (celui du TD2 par exemple). De la coloration syntaxique devrait se mettre en place et un menu Tuareg apparaître dans la barre de menus. Avec notamment une option Compile. Qui devrait fonctionner.
  6. (Optionnel.) Vous pouvez installer merlin, qui s'ajoute au mode Tuareg et offre entre autres la compilation en permanence et la complétion intelligente pour OCaml. Pour cela, exécutez d'abord la commande:
    opam install merlin
    Ensuite, dans emacs, exécutez la commande M-x package-list-packages. Elle affiche une liste de paquets disponibles; faites défiler jusqu'à trouver le paquet company-mode, et cliquez pour demander son installation. Enfin, ajoutez à votre fichier ~/.emacs cette incantation.
  7. Si vous voulez supprimer tout ce qui a été installé ci-dessus, supprimez les répertoires $HOME/opam et $HOME/.opam, puis défaites les modifications dans vos fichiers .bashrc et .emacs.

Installer OCaml (pour Windows)

La version actuelle d'OCaml est 4.02.3. Des versions plus anciennes conviennent également.

  1. Installez Eclipse (voir plus bas)
  2. Installez Cygwin en suivant les instructions de cette page
  3. Installez OcaIDE en suivant les instructions de cette page
  4. Vous pouvez tester l'installation d'Ocaml dans cygwin en compilant des fichiers ocaml dans cygwin.

Installer Java et Eclipse

  1. Installez le JDK 8 sous une forme appropriée pour votre plate-forme. (Si vous avez déjà le JDK 7, cela convient également.)
  2. Installez Eclipse. Choisissez Eclipse IDE for Java Developers, sous une forme appropriée pour votre plate-forme (Windows, MacOS, Linux, 32 ou 64 bits).
  3. Lancez Eclipse. Lors du premier lancement, il vous demande de choisir un espace de travail, c'est-à-dire un dossier où vos projets seront stockés.

Installer OcaIDE pour Eclipse (pour Linux et MacOS)

Vous avez besoin d'OCaIDE si vous souhaitez éditer et exécuter votre code OCaml depuis Eclipse. Si vous préférez employer emacs, alors vous n'avez pas besoin d'OcaIDE mais de Tuareg.

  1. Installez d'abord OCaml et Eclipse comme indiqué plus haut.
  2. Dans Eclipse, choisissez Help » Install New Software...
  3. Donnez l'adresse http://www.algo-prog.info/ocaide/.
  4. Cochez la case OcaIDE puis cliquez Next, Next, Accept, Finish.
  5. Acceptez l'installation (bien qu'elle ne soit pas signée), et redémarrez Eclipse s'il vous le propose.
  6. Une fois Eclipse redémarré, cliquez Window » Open Perspective » Other... » OCaml.
  7. Allez dans Window » Preferences (pour MacOS, Eclipse » Preferences). Cliquez sur "+" ou "▶" à côté de OcaIDE pour expanser l'arbre, puis cliquez sur Paths. Si tous les chemins de cet onglet (excepté make et omake) sont déjà remplis, vous n'avez rien à faire. Sinon, cliquez sur Browse à côté de OCaml Binaries Directory et sélectionnez le répertoire bin de votre installation OCaml (par exemple, sous Windows, C:\Program Files\ObjectiveCaml\bin). Ensuite, cliquez Apply. Eclipse devrait remplir les autres chemins pour vous (ocaml, ocamlc, etc). Puis cliquez sur Browse à côté de OCaml lib path et sélectionnez le répertoire lib de votre installation OCaml (par exemple, sous Windows, C:\Program Files\ObjectiveCaml\lib).
    ocaml bin path in eclipse: /usr/bin/ocaml
  8. En haut à droite de la fenêtre principale d'Eclipse, vous devez avoir un bouton Java et un bouton OCaml. S'il vous manque ce dernier, cliquez sur l'icône Open Perspective (qui ressemble à une mini-fenêtre avec un signe "+"), puis sélectionnez Ocaml et cliquez OK.

Désinstaller OcaIDE (pour le réinstaller en cas de bug)

C'est utile lorsque le plugin plante complètment : on le désinstalle, puis on le réinstalle.

  1. Cliquer sur Help puis About Eclipse.
  2. Cliquer sur Installation Details
    Uninstall ocaIDE in Eclipse - I
  3. Dans Installed Software, sélectionner OcaIDE feature
  4. Cliquer sur Uninstall
    Uninstall ocaIDE in Eclipse - II