CONFIGURATION.md

Configuration de l'environnement OCaml pour les TPs

On travaillera sous Linux/Fedora en salle TP.

Pour bénéficier des outils OCaml, ajouter les lignes suivantes à votre fichier .bash_profile;

# opam configuration
export OPAMROOT=/home/tpetu/Enseignants/emmanuel.coquery/opam
test -r /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh && . /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh > /dev/null 2> /dev/null || true

On utilisera VSCode en installant le plugin OCaml Platform