Comment installer les paquets nécessaires pour le cours de vérification des logiciels :
Paquets Debian
Vous aurez (au moins) besoin des paquets suivants :
- ocaml
- ocaml-base
- ocaml-libs
- ocaml-ulex
- ocamlbuild
- ocaml-findlib
- libz3-ocaml-dev
- libmenhir-ocaml-dev
- z3 (je ne suis pas certain de ce dernier, mais ça peut pas faire de mal)
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.
- Pour linux, vous avez très probablement un paquet nommé 'opam' dans votre gestionnaire de paquet. Installez-le.
- Pour mac, le paquet 'opam' est normalement disponible via homebrew.
- Pour windows, je ne sais pas trop, mais cette page explique comment faire. Je n’ai pas testé, je ne sais pas si c’est facile ou compliqué. Dans la mesure du possible, je vous conseille de ne pas utiliser windows pour ce cours (mais si vous n’avez pas d’autre moyen, ça doit rester possible).
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).
- Pour que cela soit le cas, il faut taper 'eval $(opam env)' dans votre terminal, et vous aurez alors accès aux programmes installés via opam.
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) :
- z3
- ocamlbuild
- ocamlfind
- dune
- menhir
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).