Installation sous Linux

Commencez par installer opam

sudo apt-get install opam

Il se peut que apt-get ne trouve pas le paquet, dans ce cas tapez sudo apt-get update puis réessayez.

L’installation de opam va vous installer de nombreux autres paquets qui vous seront utile pour d’autre cours, par exemple le compilateur gcc, le gestionnaire de version git, l’outil make, etc. Peut-etre que ces paquets sont d’ailleurs déjà installé sur votre machine.

Une fois opam installé, il faut l’initialiser

opam init --compiler=4.07.0 --disable-sandboxing

On vous posera deux questions, répondez yes à chaque fois.

Opam étant installé, on va s’occuper de l’environnement de travail.

Sous linux vous avez le choix entre visual sudio code, ocaml-top, et emacs (entre autre). Je vous laisse installer visual code ou ocaml-top tout seuls (ce n’est pas très compliqué), emacs étant le plus simple des trois à installer et correspondant à ce que vous avez en TP.

Si vous n’avez pas déjà emacs installé sur votre machine:

sudo apt-get install emacs

Passons aux compléments ocaml nécessaire pour bien travailler sous emacs (ou visual studio code):

opam install merlin ocp-indent tuareg user-setup

puis

opam user-setup install

C’est terminé!

Lancez emacs en ouvrant un fichier d’extension .ml, par exemple

emacs hello.ml &

Dans l’éditeur, tapez par exemple let hello = "hello" puis faites Ctrl X Ctrl E. Confirmer avec return que vous utilisez ocaml. Vous devriez avoir un toplevel qui s’exécute dans emacs. Vous pouvez évaluer d’autres fragments de code en répétant la combinaison de touche Ctrl X Ctrl E sur la ligne qui vous intéresse.