Installer Ocaml

Windows

  • Pour installer Ocaml, télécharger et lancer ce fichier.
  • Pour installer ocaml-top, télécharger et lancer ce fichier.

Linux/Mac OSX

Sous Linux ou Mac OSX, on va pouvoir installer OCaml plus proprement, car on a accès à une console bash (sous Mac, l’application s’appelle Terminal, sous Linux vous devez savoir ouvrir une console).

  • Tout d’abord, il faut installer opam (ce qui va au passage installer OCaml).
    • Sous ubuntu ou Debian (si vous avez une autre variante de Linux, vous devriez savoir adapté cette commande):
sudo apt install opam
    • Sous Mac OSX (tappez d’abord la première commande, puis la deuxième) :
brew install gpatch
brew install opam
  • Si jamais brew n’est pas encore installé, vous pouvez l’ajouter avec la commande suivante :
/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
  • Ensuite, toujours dans la console, taper les commandes suivantes (une par une) :
opam init
eval `opam env`
  • Enfin, pour installer ocaml-top :
opam install ocaml-top
eval `opam env`

Si jamais l’installation d’ocaml-top ne fonctionne pas, c’est sans doute qu’il vous manque une librairie. Par exemple, sous Debian, il me manquait la librairie suivante :

sudo apt install libgtksourceview2.0-dev

Sous Mac OSX, opam vous dira quelle librairie manque, et il faudra l’installer avec :

brew install nom-de-la-librairie

D’après les retours de quelques élèves sous Mac OSX, voici les librairies à installer :

brew install pkg-config gtksourceview libxml2

Une fois les librairies manquantes installées, il faut retaper les commandes de tout à l’heure pour qu’elles finissent d’installer ocaml-top :

opam install ocaml-top
eval `opam env`
  • Si tout s’est bien passé, vous pouvez lancer ocaml-top en tapant son nom dans la console, tout simplement :
ocaml-top

Sous Mac OSX, d’après le retour de certains élèves, une fois ocaml-top ouvert, vous pouvez faire clic droit sur son icone dans votre Dock et Options > garder dans le Dock pour créer un raccourci.