Coq pour l'industrie
- Durée
- Durée :3 jours
- Niveau
- Niveau :Intermédiaire
- Certification
- Certification :Non
Intra uniquement
Aucune session prévue
Maîtriser Opam pour OCaml
Description de la formation Opam
Cette formation Opam propose une plongée dans les arcanes d'opam, le gestionnaire de paquet, qui a gagné une popularité exceptionnelle dans la communauté OCaml. Les apprenants découvriront les options avancées d'opam, son fonctionnement précis, en particulier pour la résolution des dépendances, et comment créer ses propres paquets et son propre dépôt de paquets, afin de l'intégrer dans le process de développement de l'entreprise.
De nombreux ateliers et exercices inspirés de cas réels permettront aux apprenants de tester en permanence leurs nouveaux acquis.
Programme de la formation
Objectif opérationnel :
Savoir maîtriser l'opam-repository pour mieux l'intégrer dans vos développements ou pour y publier vos contributions.
Objectifs pédagogiques :
À l'issue de cette formation Opam vous aurez acquis les connaissances et les compétences nécessaires pour :
- Maîtriser le fonctionnement de la gestion des paquets et de leurs dépendances
- Créer ses propres paquets et dépôts
- Intégrer Opam dans son processus de développement
- Publier vos contributions dans l'opam-repository
Comprendre comment opam interagit avec les dépôts
La structure d'un dépôtLe dépôt vu par opam : ce qui est ajouté, chargé, comment il est utilisé
Comprendre comment opam gère les dépendances
Dépendances directes et optionnellesVariables et dépendances
De la spécification d'un paquet à la solution installée
Spécifier les critères du solveur
Créer ses propres paquets publics
Créer un paquetPublier manuellement
Les outils de publication (opam-publish, dune-release)
Créer son propre dépôt de paquets
Créer son propre dépôtLes besoins d'un dépôt privé
Les règles d'un dépôt opam
Créer ses propres règles
Intégrer opam dans son process de développement
Utiliser les lock file pour partager un environnement de développementUtiliser un sous-ensemble du dépôt opam
Utiliser son propre dépôt
Configurer opam pour son entreprise
Utiliser un dépôt binaire
Intégrer des outils de vérification de style
Définir ses propres variables pour la gestion des paquets
Public cible :
Ce cours Opam s'adresse principalement à des développeurs.
Prérequis :
Pour suivre cette formation Opam il est nécessaire d'avoir des connaissances préalables en programmation avec OCalm. Vous pouvez les acquérir en suivant la formation OCaml Programmation fonctionnelle avec OCaml (PROC).
J'évalue mes connaissances pour vérifier que je dispose des prérequis nécessaires pour profiter pleinement de cette formation en faisant le test de prérequis.
Date de mise à jour du programme : 18/03/2024