camlgrenouille est capable d'afficher de nombreuses informations de debug si on la lance avec l'option -d. Comment précisément obtenir ces informations dépend de comment camlgrenouille a été installé. - Sous Linux: il suffit tout simplement de lancer camlgrenouille avec l'option -d. - Sous OS X, version "fichier zip décompressé": au lieu de double cliquer suc camlgrenouille.command, il suffit de double cliquer sur debug.command - Sous OS X, version de l'installation par AppleScript. Ceci se déroule dans un terminal: - Tout d'abord, il faut arrêter la grenouille. Taper: sudo killall camlgrenouille - Aller ensuite dans le répertoire d'installation de la grenouille: cd /Library/StartupItems/magrenouille - Lancer la grenouille en mode débug (un paquet de texte va défiler) ./camlgrenouille -d Dans tous les cas: arrêter la grenouille en tapant "Ctrl-C" (touche contrôle et touche C appuyées en même temps), puis copier-coller le texte qui a défilé, principalement autour des erreurs, et me l'envoyer à alan.schmitt@polytechnique.org