Mettre en place son environnement de travail

Il est en général conseillé de travailler au CREMI, où les paquets nécessaires sont installés, et les manipulations relativement simples. On donne cependant de rapides instructions pour mettre en place un environnement de travail fonctionnel sur une machine linux (l’enseignant responsable ne connaissant bien que cet environnement, il ne se risquera pas à donner des instruction pour mac et windows).

Au CREMI

On ne décrira que la manière de lancer VS-Code. Vous pouvez si vous le souhaiter utiliser un autre IDE (par exemple emacs), mais je serai bien en peine de vous aider

Lancer VS-Code dans un bon environnement

Vous devrez taper dans un terminal les commandes suivantes à chaque fois que vous souhaitez ouvrir les TDs du cours dans VS-Code :

• export OPAMROOT=/opt/local/opam
• eval $(opam env)
• code

Les deux premières commandes peuvent être ajoutées dans votre .bashrc si vous ne souhaitez pas les taper à chaque fois.

Avoir un OCaml Platform fonctionnel

Nous vous suggérons fortement d’utiliser l’extension OCaml Platform qui fournit des fonctionnalités d’IDE tout à fait convaincantes.

Si ce n’est déjà fait, installer cette extension.

Si vous avez une erreur se plaignant qu’ocaml-lsp-server ou ocamlc n’est pas trouvé, effectuez les manipulations suivantes :

• Dans l’onglet OCaml Platform (à gauche), cliquez sur Select a sandbox
• Dans le menu déroulant qui apparaît, cliquez sur Global

Vous n’aurez normalement à faire cela qu’une fois (voire pas)

Vous avez normalement un environnement fonctionnel pour les TDs avec cela.

Sur une machine Linux

Installer les paquets nécessaires

Comme nous utilisons le langage OCaml, nous installerons les modules nécessaires via opam (le gestionnaire de paquet OCaml), aussi, vous aurez assez peu d’instruction dépendant de votre distribution linux.

Commencez par installer via votre gestionnaire de paquet, les paquets 'ocaml', 'opam' et 'vs-code' (ou tout autre variante de ce paquet, ou même un autre ide, mais pour lequel je ne fournirai pas d’aide). Je ne garantis pas le nom exact des paquets qui peuvent varier selon votre distribution, mais ils devraient exister. Pour opam, vous pouvez vous référer à son site pour les spécificités de votre distribution.

Ensuite, initialisez opam, puis installez les paquets nécessaires avec les commandes suivantes :

• opam init
• opam install dune menhir dune lambda-term odoc ocamlformat utop ocaml-lsp-server ounit2 cairn

La première commande vous demandera deux-trois trucs auxquels les options par défaut feront l’affaire.

Configurer VS-Code

Pour lancer VS-Code, il vous est conseillé de le faire depuis un terminal après y avoir tapé

• eval $(opam env)

Cela vous y donnera directement accès à tous vos paquets opam (cela dit, contrairement au CREMI, il devrait être possible de taper cette commande dans le terminal de VS-code avec le même résultat).

Nous vous suggérons également d’installer l’extension OCaml Platform (l’étape de configuration du CREMI ne devrait pas être nécessaire). Elle vous permettra d’avoir des fonctionnalité d’IDE fort pratiques, comme le typage des fonctions que vous écrivez sans avoir à compiler à chaque fois.

Mac et Windows

Je n’ai pas testé (et je ne le ferai pas), mais il est probable que l’on puisse faire tourner le tout sous mac et windows.

Sous mac, opam est installable (probablement via homebrew).

Sous windows, l’idéal est sans doute de passer via wsl qui permet d’avoir un environnement linux.

On renvoie au site d’opam qui donne des instructions spécifiques à ces plateformes, ainsi qu’à celui de VS-Code.