Repository files navigation

Ce dépôt est un modèle pour utiliserGitHub codespaces (https://github.dev) pour coder enOCaml eten C, en un clic dans unenvironnement 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, etmake est inclus pour écrire desMakefile.Cet environnement de développement en ligne est proche de ce que les oraux de concours proposent.

• Il fautavoir un compte GitHub, et être connecté à son compte ;
• Icisur 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. Voirvotre pagebilling dans vos paramètres, oula documentation.

Il faut travailler dans le fichierhello.ml, par défaut.

Note : il est possible de travailler sur un projet nécessitant plusieurs fichiers, mais il vous faudra modifier leMakefile, éventuellementles tâches de build etles tâches de debug.Ou tout faire à la main depuis un terminal...

Dans le terminal embarqué, aller dans le dossierhello/ (cd hello/), puis il faut lancerutop.Un foisutop lancé, la commande#use "hello.ml";; exécute et interpréte le code du fichierhello.ml, avec les valeurs et les types joliment affichés.

Aveccette extension OCaml pour VSCode.Il faut utiliser la configuration de débug"OCaml current file" pour le fichierhello.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 fichierhello.c, par défaut.

Note : il est possible de travailler sur un projet nécessitant plusieurs fichiers, mais il vous faudra modifier leMakefile, éventuellementles tâches de build etles tâches de debug.

CeMakefile 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 utiliserapt 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 lescodespaces.

MIT Licensed (fileLICENSE).©Lilian Besson, 2024.