Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Installer Catala sur votre machine

Avertissement

Actuellement, Catala n’est disponible que via la compilation depuis les sources. L’équipe Catala prévoit de distribuer Catala sous forme binaire à l’avenir, ce qui facilitera grandement le processus d’installation.

Catala est un langage de programmation principalement conçu pour être installé sur votre machine et exécuté localement dans votre environnement de développement préféré. Concrètement, Catala est composé de plusieurs exécutables qui forment ensemble l’outillage du langage de programmation :

  • le compilateur Catala catala, accompagné du système de construction clerk ;
  • le serveur de protocole de langage (LSP) Catala catala-lsp ;
  • l’outil de formatage automatique Catala catala-format ;
  • le plugin Catala pour votre éditeur de texte ou IDE.

En coulisses, la plupart de ces exécutables sont produits à l’aide de la chaîne d’outils logicielle OCaml, le processus d’installation commence donc avec opam, le gestionnaire de paquets et système de construction pour OCaml.

Les instructions d’installation supposent toutes une maîtrise de la ligne de commande et des connaissances de base sur le système de fichiers et le processus général de construction d’exécutables à partir des sources à l’aide d’un gestionnaire de paquets.

L’installation a échoué, que faire ?

Si votre installation a échoué alors que vous suiviez le guide d’installation, veuillez ouvrir un ticket ou lancer une discussion sur le chat en ligne de la communauté Catala.

Dans votre ticket ou message, veuillez indiquer :

  • votre plateforme et système d’exploitation ;
  • un journal des commandes que vous avez exécutées avec leur sortie en ligne de commande.

Les instructions d’installation diffèrent selon que vous êtes sur un système compatible Unix (Linux, MacOS, sous-système Windows pour Linux), ou sur Windows classique. Veuillez choisir le guide approprié à votre situation.

Information importante

Pendant les étapes d’installation, plusieurs invites peuvent apparaître. Choisir l’option par défaut (en appuyant sur Entrée à chaque fois) ou répondre oui (en tapant y puis Entrée) est suffisant.