Ce dépôt est un modèle pour utiliser GitHub codespaces (https://github.dev) pour coder en OCaml et en C, en un clic dans un environnement complet déployant Visual Studio Code en ligne.
Les extensions nécessaires au bon développement en OCaml et en C sont incluses, VSCode est paramétré en français, et make est inclus pour écrire des Makefile.
Cet environnement de développement en ligne est proche de ce que les oraux de concours proposent.
- Il faut avoir un compte GitHub, et être connecté à son compte ;
- Ici sur cette page, cliquez en haut sur "Use this template" (bouton vert), et "Open in a codespace" ;
- Il faut ensuite attendre que la machine distante soit prête, cela peut-être assez long lors de la première utilisation.
Attention, GitHub codespaces est gratuit pour un usage limité, il ne faut pas espérer pouvoir faire tourner en illimité du code gourmand. Voir votre page billing dans vos paramètres, ou la documentation.
Il faut travailler dans le fichier hello.ml, par défaut.
Note : il est possible de travailler sur un projet nécessitant plusieurs fichiers, mais il vous faudra modifier le
Makefile, éventuellement les tâches de build et les tâches de debug. Ou tout faire à la main depuis un terminal...
Dans le terminal embarqué, aller dans le dossier hello/ (cd hello/), puis il faut lancer utop.
Un fois utop lancé, la commande #use "hello.ml";; exécute et interpréte le code du fichier hello.ml, avec les valeurs et les types joliment affichés.
Avec cette extension OCaml pour VSCode.
Il faut utiliser la configuration de débug "OCaml current file" pour le fichier hello.ml.
Aussi possible ! Avec la règle de lancement "OCaml générer le fichier actif (ocamlopt)" ou "OCaml exécuter le fichier actif".
Il faut ouvrir la palette, puis "run tasks" > choisir la tâche.
Il faut travailler dans le fichier hello.c, par défaut.
Note : il est possible de travailler sur un projet nécessitant plusieurs fichiers, mais il vous faudra modifier le
Makefile, éventuellement les tâches de build et les tâches de debug.
Ce Makefile prévoit tout ce qu'il faut normalement, pour un usage basique.
C'est aussi possible. Avec la règle de débuggage "(gdb) Lancer".
Aussi possible ! Avec la règle de lancement "C/C++: exécuter le binaire du fichier actif" ou "C/C++: gcc générer le fichier actif". Il faut ouvrir la palette, puis "run tasks" > choisir la tâche.
On peut utiliser apt install nom_du_paquet pour installer un ou plusieurs paquets, si certaines choses de base sont manquantes.
Voir cette page : https://docs.github.com/fr/codespaces/overview pour une documentation en français sur les codespaces.
MIT Licensed (file LICENSE). © Lilian Besson, 2024.
