Bonjour la liste
Sous Debian en x86-64.
S'il existe un dépôt Debian testing (ou unstable) qui contienne que des fichiers ELF avec les information DWARF de débogging (çàd un Debian
dont les fichiers ELF executables ou bibliothèques sont majoritairement compilés avec gcc -O2 -g ou g++ -O2 -g) je suis preneur.
Tous les programmes que j'écris (depuis au moins le 1er nov 2023) sont
libres sous licence GPLv3+, (ou la CeCILL équivalente) compilé avec GCC
13 ou 14 (que je sais compiler) et disponible sur github, en
particulier sous
https://github.com/RefPerSys/RefPerSys
et je parle ici du commit c67c54617b0dd5f2
Je dispose de deux ordinateurs sous Debian, en x86/64, avec 32 ou 64Go
de RAM. Et les tera de disque qui vont avec.
il y a donc un executable refpersys (un moteur d'inférences en GPLv3+) compilé avec g++ -O -g -fPIE. Celui-ci devrait générer du code (C++ ou machine) et le compiler en un greffon chargé à la volée par le dlopen
qui convient.
refpersys a aussi des greffons (conceptuellement temporaires et du code généré, actuellement écrits à la main mais mon but est de générer le code de ces greffons).
en lançant make test10 j'ai un core dump ou SIGSEGV. Le bogue est mien
et reproductible (j'imagine où) mais gdb m'indique un plantage dans la
couche GTKmm-4 et GTK4 (probablement en rapport avec la GTK event loop
que j'ai oublié d'appeler correctement).
Il me faudrait donc les informations DWARF de déboguage relatifs à
GTKmm4 et GTK4. En théorie je pourrais le recompiler moi même, mais
c'est des jours de travail ingrat que je cherche à éviter.
Avez vous des pistes?
Merci, librement.
NB je sais compiler fox-toolkit ou FLTK avec les infos de déboguage, et
si nécessaire je les utiliserais. Je suis plus à l'aise en GTK que j'ai déjà pratiqué.
--
Basile Starynkevitch <
basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
8 rue de la Faïencerie, 92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir:
https://github.com/RefPerSys/RefPerSys
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)