Remonter

Consignes pour installer l'environnement de travail en PF et en LT

(filière INFO4)

Les cours LT et PF nécessitent un environnement de travail permettant d'éditer, tester, exécuter et prouver des programmmes fonctionnels, et d'étudier la sémantique de langages de programmation. Cet environnement comporte :
- le langage de programmation fonctionnel OCaml ;
- l'assistant à la preuve Rocq, précédemment connu sous le nom Coq, (qui embarque lui-même un langage de programmation proche de OCaml) ;
- l'éditeur de programmes emacs, avec des paquetages convenables pour OCaml et Rocq.
Méthode d'installation :
- Les commandes
- On vous donne une liste de commmandes à effectuer au terminal.
  Cette méthode prend environ 20mn, elle est plus modulaire, les composants peuvent être installés incrémentalement ; et elle exerce vos compétences en administration de système linux.
- Les commandes fournies ont fait l'objet d'un test avec le script Docker suivant: Dockerfile.ltpf_2025
Nous recommandons d'utiliser la méthode proposée en suivant les instructions ci-dessous, et en cas de difficulté (dans ce cas, merci de récupérer les diagnostics et de les envoyer aux enseignants), de nous solliciter pour résoudre les problèmes ou essayer des méthodes alternatives.
La liste des commandes a effectuer se trouve dans le pseudo-script instructions_install.pseudo-sh.
- Première étape avec les droits root (environ 10 min avec une bonne connection)
  - On suppose qu'on part d'un Ubuntu 24.04 LTS.
  - On commence par vérifier la présence ou installer un certain nombre de paquets Debian.
  - On installe également l'éditeur emacs (optionnel mais très fortement conseillé).
  - On télécharge et on installe opam pour tous les utilisateurs. (installé dans
```
/usr/local/bin
```
- Deuxième étape avec les droits utilisateur (jusqu'à 25 min sur machine lente)
  - On installe les packages emacs utiles pour Ocaml et Rocq. (fortement conseillé)
  - On initialise ensuite le système opam pour votre compte utilisateur
  - On installe les paquets pour Ocaml et Rocq.
  - Optionnellement, on installe rocqIDE comme alternative à emacs pour Rocq.
  - Optionnellement, on installe des plugins pour Ocaml et Rocq dans VScode.