Bonjour la liste
Sur Debian forky (x86-64) je sais compiler GCC et GDB. Et j'ai aussi les versions de GCC et de GDB de la distribution. rimski ~ 18:23 % /usr/bin/g++ --version g++ (Debian 15.2.0-12) 15.2.0 Copyright (C) 2025 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. rimski ~ 18:24 % /usr/bin/gdb --version GNU gdb (Debian 17.1-2) 17.1 Copyright (C) 2025 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. rimski ~ 18:24 % /usr/local/bin/g++ --version g++ (GCC) 16.0.1 20260118 (experimental) Copyright (C) 2026 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. rimski ~ 18:25 % /usr/local/bin/gdb --version GNU gdb (GDB) 17.1 Copyright (C) 2025 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Ma question est comment utiliser le debuggeur et le compilateur (je peux s'il fallait les reconfigurer et les recompiler) pour déboguer agréablement des types C++ standards, a minima std::string (et idéalement des instances de std::map) Librement NB: ceci en relation avec https://github.com/RefPerSys/RefPerSys/issues/30 NB2: je cherche aussi des conseils sur la syntaxe dans un moteur d'inférences. (persuadé après https://arxiv.org/abs/1109.0779 qu'une syntaxe Lispienne est en 2026 repoussante pour la plupart) -- Basile STARYNKEVITCH basile AT starynkevitch DOT net 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
