Vincent Penelle

Comment installer les paquets nécessaires pour le cours de vérification des logiciels :



Paquets Debian

Vous aurez (au moins) besoin des paquets suivants : Ceci devrait également convenir tel quel pour ubuntu. Pour d’autres distributions, les noms/répartitions des paquets peuvent changer.

Par opam

Opam est un gestionnaire de paquet pour les applications développées en Ocaml. Ça marche pas trop mal (et permet d’avoir les dernières versions des paquets facilement), mais demande un peu de doigté dans l’installation.

1: Installer opam

Cela va dépendre de votre sytème d’exploitation. Plus d’info ici.

2: Initialiser opam

Lancez la commande 'opam init' et acceptez les options par défaut. C’est fait.

Attention, cela met en place opam, mais n’ajoute PAS les paquets installés via opam dans votre PATH (pour que votre terminal trouve les programmes installés).
Attention, cette commande n’est valide QUE pour la session en cours. Je vous conseille d’ajouter cette commande dans votre .bash_rc, comme ça elle sera exécutée à chaque fois que vous lancez un terminal.

3: Installer les paquets nécessaires.

Voici les paquets dont je dispose sur ma machine (du moins dans ceux installés explicitement et qui me semblent liés, ça demande de vérifier depuis une install fraîche que ça suffit) : Point important : si vous choisissez d’installer opam il NE faut PAS installer ocamlbuild via votre gestionnaire de paquet habituel, mais installer celui d’opam. Sinon, il refuse d’installer ocamlbuild via opam et ça fait plein de problèmes (il reste possible d’installer ocamlbuild via votre gestionnaire après votre installation via opam, mais à chaque mise à jour, ça plantera).