diff --git a/CONFIGURATION.md b/CONFIGURATION.md new file mode 100644 index 0000000000000000000000000000000000000000..fce97b5622821c6193f28f4d4145e3a2d4b6cfd6 --- /dev/null +++ b/CONFIGURATION.md @@ -0,0 +1,13 @@ +# 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`; + +```bash +# 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** diff --git a/README.md b/README.md index de5d93d2df981993b91fadece3b8c5fc9785c2e4..84c6621aae8b63955b482a84a266e2de5c53e2b3 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,8 @@ ## Semestre 2023 Printemps +[Configuration pour la salle de TP](CONFIGURATION.md) + | jour | heure | type | supports / remarques | | ----- | ------------- | -------- | ------------------------------------------------------------------------- | | 16/01 | 8h | CM | [Diapositives](cm/lifpf-cm1.pdf) |