Kikou :) Le 8 août 2026 17:20:37 UTC, Basile STARYNKEVITCH <[email protected]> a écrit : > Bonsoir la liste > > (je code -avec quelques autres- un moteur d'inférences sous Linux en > logiciel libre compilé avec un GCC récent GCC15 ou mieux; refpersys.org > donne mes idées) > > Le code C++ est sur une petite quarantaine de fichiers dont certains > sont générés (y compris par le programme lui meme dans ses exécutions > d'hier - par un make redump).
Qu'est que hier ? Qu'est-ce qu'un make redump ? > > J'aurais besoin d'idées pour enregister dans l'exécutable lui-meme > (facilement utilisable par le débogueur GDB) la longue liste des > arguments de compilations. Enregistrer dans un exécutable, sauf en editant directement en binaire, voir en hexadécimal me semble impossible. Vue que le code part de GCC est a donc besoin pour faire toutes les étapes du compilateur. Il me semble à mon sens plus logique de faire générer de code C++ a ton moteur d'inférence, quite a ce qu'il y ai de nombreux cycle d'intégration, et donc de compilation. A l'image de la distribution gentoo, peut être que eux, adepte des USE flags pourrons, peut-être, mieux te renseigner. > > Et je veux éviter de faire un greffon du compilateur GCC (meme si j'ai > su le faire: https://arxiv.org/abs/1109.0779 ....) car c'est bien trop > dépendant de la version spécifique du GCC utilisé! D'où l'intérêt de générer un build a l'image du système Gentoo > > GNU make et GCC ont les options -M et -MMD mais celles ci suivent la > syntaxte make (pas celle de C++) > > Vos suggestions sont bienvenues.... Voilà mes suggestions, elle ne sont sûrement que d'un pauvre recours > > Librement > > NB. je cherche meme à intégrer un consortium ANR ou HorizonEurope J'espère que tu réussiras, je serai curieuse de voir ton moteur d'inférence en action. > > -- > > Basile STARYNKEVITCH > <[email protected]> > 8 rue de la Faïencerie > http://starynkevitch.net/Basile/ > 92340 Bourg-la-Reine > https://github.com/bstarynk > France > https://github.com/RefPerSys/RefPerSys > https://orcid.org/0000-0003-0908-5250 > Claire Ivaneka ₍^. .^₎⟆
