[ 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