[ Je mets typer@iro en Cc paske ça peut les intéresser. ]
Toutefois, je pense qu'il va falloir prendre l'erreur suivante au sérieux :
Error:(ELAB) Compilation stopped in default context Fatal error: exception Sys_error("./btl/builtins.typer: No such file or directory")
Oui, il faut clairement fixer ce problème. Pour ça il faudra voir comment l'exécutable peut trouver le répertoire `btl`. Il y en gros deux cas: 1- le cas où l'exécutable est "installé". Ce cas est le plus facile, vu que dans ce cas, `btl` doit être dans le répertoire qui a été désigné comme le repertoire où Typer sera installé, donc on peut le "hard-code" dans l'exécutable. Par contre, pour l'instant ce mode "installé" n'existe pas. 2- le cas où l'exécutable n'est pas installé et à la place on l'utilise tel quel depuis `_build/typer`. Dans ce cas il va falloir deviner où est ce `_build/typer` à partir typiquement d'heuristiques basées sur $PATH, argv[0], et autres. -- Stefan